%% Doc Latex page 145 

%%%Macros
@string{EDBT= "Proceedings of the  International Conference on Extending Database Technology (EDBT)"}
@string{VLDB= "Proceedings of Very Large Data Bases"}
@string{PODS= "PODS - Symposium on Principles of Database System"}
@string{LNCS= "Lecture Notes in Computer Science (LNCS)"}
@string{LNAI= "Lecture Notes in Artificial Intelligence (LNAI)"}
@string{MFCS= "Proceedings of the International Symposium on Mathematical Foundations of Computer Science"}
@string{TCS = "TCS - Theoretical Computer Science"}
@string{IJCAI = "Proceedings of the International Joint Conference on Artificial Intelligence"}
@String{j-jucs = "Journal of Universal Computer Science"}



@article{Aal03,
	author =	"W. M. P. van der Aalst ",
	title =		"Don't go with the flow: Web services compositions standards exposed",
	journal =	"Issue of IEEE Inteligent System",
	month= 		"Jan/Feb",
	year = 		"2003",
}



@inproceedings{Abi97,
  author = "S. Abiteboul",
  title =  "Querying Semistructured Data",
  booktitle = "International Conference On Database Theory",
  year =   "1997",
 }

@inproceedings{ABHLM04,
  author    = {M. A. Abr{\~a}o and
               B. Bouchou and
               M. {Halfeld Ferrari} and
               D. Laurent and
               M. A. Musicante},
  title     = "Incremental Constraint Checking for {XML} Documents",
  booktitle = {XSym},
  year      = {2004},
  series = "LNCS",
  number = "3186",
  pages     = {112-127},
  ee        = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=3186{\&}spage=112},
  OPTcrossref  = {DBLP:conf/xsym/2004},
  OPTbibsource = {DBLP, http://dblp.uni-trier.de}
}




@inproceedings{ABM01,
  author = "S. Abiteboul and O. Benjelloun and T. Milo",
  title =  "Towards a Flexible Model for Data and Web Services Integration",
  booktitle = "proc. Internat. Workshop on Foundations of Models and Languages for Data and Objects",
  year =   "2001",
 }


@book{ABS2000,
	author =	"S. Abiteboul and P. Buneman  and D. Suciu ",
	title =		"Data on the Web - From Relations to Semistructured Data and {XML}",
	year = 		"2000",
	publisher = 	"Morgan Kaufmann Publishers",
}

@inproceedings{AgS95,
	author =	"R. Agrawal and R. Srikant",
	title =		"Mining Sequencial patterns",
	booktitle =	"ICDE",
	year = 		"1995",
}

@inproceedings{AASY97,
	author =	"D. Agrawal and {A. El} Abbadi and A. Singh and T. Yurek",
	title =		"Efficient View Maintenance at Data Warehouses",
	booktitle =	"Proceedings of the ACM-SIGMOD International Conference on Mangement of Data",
	year = 		"1997",
}





@inproceedings{AbB84,
	author =	"S. Abiteboul and N. Bidoit",
	title =		"Non first normal form",
	booktitle =	"Proceedings of Database Systems",
	year = 		"1984",
}

@inproceedings{AbV85,
	author =	"S. Abiteboul and V. Vianu",
	title =		"Transactions and integrity constraits",
	booktitle =	PODS,
	year = 		"1985",
 	publisher = {ACM Press}
}

@techreport{AbV87,
	author =	"S. Abiteboul and V. Vianu",
	title =		"Transaction languages for database update and specification",
	year = 		"1987",
	institution =	"INRIA, Unit\'e de Recherche INRIA - ROQUENCOURT",
	number =	"715",
	month =		"septembre",
}

@article{AbV88,
	author =	"S. Abiteboul and V. Vianu",
	title =		"Transaction languages for database update and specification",
	journal =	"Journal of Computer and Systems Science",
	year = 		"1988",
}


@inproceedings{AbV88a,
	author =	"S. Abiteboul and V. Vianu",
	title =		"Procedural Languages for Database Queries and Updates",
	booktitle =	PODS,
	year = 		"1988",
	publisher = {ACM Press},
}

@article{AbV89,
	author =	"S. Abiteboul and V. Vianu",
	title =		"A transaction-based approach to relational database specification",
	journal =	"Journal of ACM",
	volume= 	"36",
	year = 		"1989",
}


@article{AbV90,
	author =	"S. Abiteboul and V. Vianu",
	title =		"Procedural languages for database queries and updates",
	journal =	"Journal of Computer and System Sciences",
	volume= 	"41",
	year = 		"1990",
}

@article{AbV91,
	author =	"S. Abiteboul and V. Vianu",
	title =		"Datalog extensions for database queries and updates",
	journal =	"Journal of Computer and System Sciences",
	volume= 	"41",
	year = 		"1991",
}


@incollection{ABW88,
	author = 	"K. R. Apt and H. Blair and W. Walker",
	title = 	"Towards a theory of deductive knowledge",
	booktitle = 	"Foundations of Deductive Databases and Logic Programming",
	publisher = 	"Morgan Kaufmann Publishers",
	year =		"1988",
	editor = 	"J. Minker",
}


@inproceedings{AlE03,
	author =	"L. Al-Jadir and F. El-Moukaddem",
	title =		"Once upon a time a {DTD} evolved  into another {DTD} ...",
	booktitle =	"Proceedings of the  International Conference on Object-Oriented Information Systems",
	editor = "Springer",
  	series = LNCS,
 	number = "2817",
    pages = "3-17",
	year = 		"2003",
}



@inproceedings{AlH01,
  author    = {Luca de Alfaro and
               Thomas A. Henzinger},
  title     = {Interface automata.},
  booktitle = {ESEC / SIGSOFT FSE},
  year      = {2001},
  pages     = {109-120},
  ee        = {http://doi.acm.org/10.1145/503209.503226},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@inproceedings{AfC89,
	author =	"F. Afrati and S. Cosmadakis",
	title =		"Expressiveness of restricted recursive queries",
	booktitle =	"Proceedings of ACM SIGACT Symposium  on the theory of Computing",
	year = 		"1989",
}


@inproceedings{AFL02,
	author =	"M. Arenas and W. Fan and L. Libkin",
	title =		"On Verifying Consistency of {XML} Specifications",
	booktitle =	PODS,
	year = 		"2002",
    publisher = {ACM Press}
}

@inproceedings{AFL05,
  author    = {Marcelo Arenas and
               Wenfei Fan and
               Leonid Libkin},
  title     = {Consistency of {XML} Specifications.},
  booktitle = {Inconsistency Tolerance},
  year      = {2005},
  pages     = {15-41},
  OPTee        = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=3300{\&}spage=15},
  OPTcrossref  = {DBLP:conf/dagstuhl/2005into},
  OPTbibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{AFL02a,
  author = "M. Arenas and W. Fan and L. Libkin",
  title = "What's Hard about {XML} Schema Constraints?",
  booktitle = "Proceedings of the 13th International Conference on Database and Expert Systems Applications",
  year = "2002",
  pages = "269-278",
  location = "Aix-en-Provence, France",
  editor = "Springer",
  series = LNCS,
  number = "2453",
}

	
@article{AGM85,
	author =	"C. E. Alchourr\'on and P. Gardenfors and D. Makinson",
	title= 		"On the logic of theory change: partial meet contraction and revision funcitions",
	journal =	"Journal of Symbolic Logic",
	year = 		"1985",
	volume = 	"50",
}


@inproceedings{Aho97,
     author="H. Ahonen",
     title= "Disambiguation of {SGML} content models",
     booktitle="Proceedings of the Workshop on Principles of Document  Processing '96, 23 September, {Palo Alto}, {USA}, 1996. {Lecture Notes in Computer Science} 1293, {Springer-Verlag}, 1997",
     year="1997",
     }


@inproceedings{AhU79,
	author =	"A. V. Aho and J. D. Ullman",
	title =		"Universality of data retrieval languages",
	booktitle =	"Proceedings of ACM Symposium on  Principles of Promamming Languages",
	year = 		"1979"
}


@BOOK{ASU88,
  author =      "A. V. Aho  and R. Sethi  and  J. D. Ullman",
  title =       "Compilers: principles, techniques, and tools",
  publisher =   "Addison-Wesley",
  year =        "1988",
}


@book{AHV95,
	author =	"S. Abiteboul and R. Hull and V. Vianu ",
	title =		"Foundations of Databases",
	year = 		"1995",
	publisher = 	"Addison-Wesley Publishing Company",
}


@inproceedings{AHV96,
	author =	"S. Abiteboul and L. Herr and J. {Van den Bussche}",
	title =		"Temporal versus first-order logic to query temporal databases",
	booktitle =	PODS,
	year = 		"1996", 
	publisher = {ACM Press},
}

@techreport{Ake04,
	author = {D. H. Akehurst},
	title = {{Validating {BPEL} Specifications using OCL}},
	month = {August},
	year = {2004},
	OPTpages = {},
	keywords = {BPEL, OCL},
	note = {},
	url = {http://www.cs.kent.ac.uk/pubs/2004/2027},
	publication_type = {techreport},
	submission_id = {374_1103296369},
	institution = {University of Kent at Canterbury},
	number = {15-04},
}

@inproceedings{ArL02,
	author =	"M. Arenas  and L. Libkin",
	title =		"A Normal form for {XML} Documents",
	booktitle =	PODS,
	year = 		"2002",
	publisher = {ACM Press}
}





@inproceedings{AlP92,
	author =	"J. J.  Alferes  and L. M. Pereira",
	title =		"On Logic of program semantics with two kinds of negation",
	booktitle =	"Proceedings of the Joint  International Conference and Symposium of Logic Programming",
	year = 		"1992",
}



@inproceedings{AmB93,
	author =	"{S. de} Amo and N. Bidoit", 
	title =		"Contraintes Dynamiques d'Inclusion et Sch�mas Transactionnels",
	booktitle =	"Neuviemes Journees Bases de Donnees Avancees",
	year = 		"1993",
}


@techreport{Ama03,
	author = 	"Bernd Amann",
	title = 	"Du partage centralis\'e  de ressources Web � l'�change de documents intensionnels ",
	institution = "Universit\'e Pierre et Marie Curie - Paris 6, Habilitation  � diriger les recherches",
	year = 		"2003",
}





@inproceedings{AmB95,
	author =	"{S. de} Amo and N. Bidoit", 
	title =		"A first step towards implementing Dynamic Algebraic Dependencies",
	booktitle =	"5th International Conference on Database Theory",
	year = 		"1995",
	editor = 	"Springer-Verlag",
	series= 	LNCS,
	number= 	"893",
}



@article{AmB98,
	author =	"{S. de} Amo and N. Bidoit",
	title= 		"A first step towards implementing dynamic algebraic dependencies",
	journal =	"Theoretical Computer Science",
	year = 		"1998",
	volume = 	"190",
}





@inproceedings{AmB99,
	author =	"{S. de} Amo and N. Bidoit", 
	title =		"Implicit Temporal Query Languages: towards completeness",
	booktitle =	"19th Conference on Foundations of Software Technology and Theoretical
Computer Science",
	address= 	"Chennai, India",
	year = 		"1999",
	month= 		"December",
	pages= 		"245-257",
}





@inproceedings{And79,
  author =       "Sten Andler",
  title =        "Predicate Path Expressions",
  booktitle =    "Sixth Annual ACM Symposium on Principles of
                 Programming Languages (6th POPL'79)",
  pages =        "226-236",
  OPTaddress =      "San Antonio, Texas",
  year =         "1979",
  OPTkeywords =     "k-path-expressions, k-predicate-path-expressions,",
}


@article{Ang87,
	author =	"D. Angluin",
	title= 		"Learning regular sets from queries and counterexamples.",
	journal =	"  Inf. Comput.",
	year = 		"1987",
	volume = 	"75",
	number = 	"2",
}



@inproceedings{AMNSV01,
   author=		"N. Alon and T. Milo and F. Neven and D. Suciu and V. Vianu",
   title=		"{XML} with Data Values: Typechecking Revisited",
   booktitle=	PODS,
   year=		"2001",
   publisher = {ACM Press}
}


@inproceedings{AHFA2000,
	author =	"{Sandra de} Amo and Mirian {Halfeld-Ferrari}",
	title =		"Efficient Maintenance of Temporal Data Warehouses",
	booktitle =	"International Database Engeneering and Applications Symposium ({IDEAS})",
	address= 	"Japan",
	year = 		"2000",
	month= 		"September",
}

@Article{AHF04,
  author =     "{Sandra de} Amo and Mirian {Halfeld-Ferrari}",
  title =      "Incremental Maintenance of Data Warehouses Based on Past Temporal Logic Operators",
  abstract =   "We see a temporal data warehouse as a set of temporal views defined in the past fragment of the temporal relational algebra extended with set-valued attributes and aggregation. This paper proposes an incremental maintenance method for temporal views that allows improvements over the re-computation from scratch. We introduce a formalism for temporal data warehouse specification that summarizes information needed for its incremental maintenance. According to this formalism, a temporal data warehouse W is a pair of two sets of views : the materialized component and the virtual component. The materialized component of W represents the set of views physically stored in the warehouse. The virtual component of W is a set of non-temporal expressions involving only relations kept in the materialized component. Several features of our approach make it especially attractive as a maintenance method for warehouses: (a) there is no need for storing the entire history of source databases, (b) maintenance of the temporal data warehouse is reduced to maintaining the (non-temporal) materialized component, and (c) the materialized component is self-maintainable. We build a uniform algorithm by combining two previously unrelated techniques based on auxiliary views. Our method is sufficiently general so that it can be easily adapted to treating databases with complex-valued attributes.",
  journal =    j-jucs,
  year =       "2004",
  volume =     "10",
  number =     "9",
  pages =      "1035--1064",
  OPTnote =       "http://www.jucs.org/jucs_10_9/incremental_maintenance_of_data"
}




@techreport{AHF03,
	author =	"{S. de} Amo and M. {Halfeld-Ferrari}",
	title =		"Self-Maintainable Temporal Data Wahehouses", 
    number= 	"258", 
	institution= 	"LI/Université Fran\c cois Rabelias Blois - Tours - Chinon",
	year= 		"2002",
}


@techreport{AnF06,
	author =	"Siva Anantharaman and Barbara Fila",
	title =		"Automata for Analyzing and Querying Compressed Documents",
	year = 		"2006",
	institution =	{Universit\'e d'Orl\'eans - LIFO},
	number = 	"RR-2006-03",
}



@inproceedings{AtT89,
	author =	"P. Atzeni and R. Torlone",
	title =		"Updating Databases in the Weak Instance Model",
	booktitle =	PODS,
	year = 		"1989",
	publisher = {ACM Press}
}



@article{ATKB03,
 author = {W. M. P. Van Der Aalst and A. H. M. {Ter Hofstede} and B. {Kiepuszewski} and A. P. Barros},
 title = {Workflow Patterns},
 journal = {Distrib. Parallel Databases},
 volume = {14},
 number = {1},
 year = {2003},
 issn = {0926-8782},
 pages = {5--51},
 doi = {http://dx.doi.org/10.1023/A:1022883727209},
 publisher = {Kluwer Academic Publishers},
 address = {Hingham, MA, USA},
 }

@article{AtT92,
	author =	"P. Atzeni and R. Torlone",
	title= 		"Updating intensional predicates in {D}atalog",
	journal =	"Data and Knowledge Engineering",
	year = 		"1992",
	volume = 	"8",
}



@phdthesis{Ba08,
	author = 	"Cheikh Ba",
	title = 	"Composing  web services with {PEWS} ",
	school = 	"LI, Universit\'e Fran\c cois Rabelais de Tours  (In preparation, in french)",
	year = 		"2008",
}


@inproceedings{BaH07,
  author    = {Cheikh Ba and
               M\'{\i}rian Halfeld Ferrari},
  title     = {Dependence graphs for verifications of web service compositions with PEWS},
  booktitle = {SAC},
  year      = {2008},
  pages     = {2387-2391},
  OPTee        = {http://doi.acm.org/10.1145/1363686.1364253},
  OPTcrossref  = {DBLP:conf/sac/2008},
 OPTbibsource = {DBLP, http://dblp.uni-trier.de}
}





@inproceedings{BCCN06,
  author    = "V. Benzaken and
               G. Castagna and
               D. Colazzo and
               K. Nguyen",
  title     = "Type-Based XML Projection",
  booktitle = "Proceedings of the VLDB Conference",
  year      = "2006",
}


@ARTICLE{BCH05,
  author = "Dirk Beyer and Arindam Chakrabarti and Thomas A. Henzinger",
  title = "Web Service Interfaces",
  Journal = "International World Wide Web Conference Committe (IW3C2)",
  year = "2005",
}


@Article{BCHLLM07,
  author =     "B.Bouchou  and A.Cheriat and  M.{Halfeld Ferrari} and D.Laurent and M.Lima and M. Musicante",
  title =      "Efficient Constraint Validation for Updated {XML} Databases",
  journal =    "Informatica",
  year =       "2007",
  volume =     "31",
  number =     "3",
  pages =      "285-310",
  OPYmonth =      {July},
  note =       "Print edition ISSN: 0350-5596, \texttt{http://ai.ijs.si/informatica/}",
} 



@Article{BCHM05,
  author =     "C. Ba and M. Carrero and M. {Halfeld Ferrari} and M. Musicante",
  title =      "{PEWS}: A New Language for Building Web Service Interfaces",
  journal =    j-jucs,
  year =       "2005",
  volume =     "11",
  number =     "7",
  pages =      "1215-1233",
  month =      {July},
  note =       "http://www.jucs.org/jucs\_11\_7/pews\_a\_new\_language"} 



@inproceedings{BCHS06,
	author =	" B�atrice Bouchou and Ahmed Cheriat and M�rian  {Halfeld Ferrari} and Agata Savary",
	title =		"{XML} Document Correction: Incremental Approach Activated by Schema Validation",
	booktitle =	"International Database Engeneering and Applications Symposium (IDEAS)",
	year = 		"2006",
}


@inproceedings{BCHS06b,
  author    = {B{\'e}atrice Bouchou and
               Ahmed Cheriat and
               Mirian {Halfeld-Ferrari} and
               Agata Savary},
  title     = {Integrating Correction into Incremental Validation.},
  booktitle = {BDA},
  year      = {2006},
  OPTcrossref  = {DBLP:conf/bda/2006},
  OPTbibsource = {DBLP, http://dblp.uni-trier.de}
}


@ARTICLE{BCPT05,
  author = "Boualem Benatallah and Fabio Casati and Julien Ponge and Farouk Toumani",
  title = "Compatibility and replaceability analysis for timed web services protocols",
  Journal = "Bases de donn\'ees avanc\'ees (BDA)",
  year = "2005",
}


@article{BHL07,
  author =     "B�atrice Bouchou  and  M�rian  {Halfeld Ferrari} and Maria-Adrina Lima",
  title =      "Contraintes d'int\'egrit\'e pour {XML}: une visite guid\'ee par une syntaxe homog\`ene",
  journal =    "Submitted to a french journal",
  OPTjournal =    "Submitted to Informatica (http://ai.ijs.si/informatica/)",
  year =       "2007",
  OPTvolume =     "11",
  OPTnumber =     "7",
  OPTpages =      "1215-1233",
  OPYmonth =      {July},
  OPTnote =       "http://www.jucs.org/jucs\_11\_7/pews\_a\_new\_language",
} 

@InProceedings{BHM05,
  author = 		 {Cheikh Ba and Mirian {Halfeld Ferrari} and Martin Musicante},
  title = 		 {Building Web Services Interfaces Using Predicate Path Expressions},
  booktitle = 	 {Proceedings of SBLP 2005. IX Brazilian Symposium on Programming Languages},
  OPTcrossref =  {},
  OPTkey = 		 {},
  pages = 	 {147-160},
  year = 	 {2005},
  OPTeditor = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  address = 	 {Recife - Brazil},
  month = 	 {May},
  organization = {Brasilian Computer Science Society},
  publisher = {University of Pernambuco},
  OPTnote = 	 {},
  OPTannote = 	 {},
}








@techreport{BHM06rep,
	author =	"Cheikh Ba and Mirian {Halfeld Ferrari} and Martin Musicante",
	title =		"{PEWS}",
	year = 		"2006",
	institution =	"Laboratoire d'informatique (LI) de l'Universit� Fran�ois-Rabelais de Tours",
	number =	"{To appear}",
}



@inproceedings{BHM06,
  author    = {Cheikh Ba and
               Mirian {Halfeld Ferrari} and
               Martin A. Musicante},
  title     = {Composing Web Services with {PEWS}: A Trace-Theoretical Approach.},
  booktitle = {IEEE European Conference on Web Services (ECOWS)},
  year      = {2006},
  pages     = {65-74},
  OPTee        = {http://doi.ieeecomputersociety.org/10.1109/ECOWS.2006.12},
  OPTcrossref  = {DBLP:conf/ecows/2006},
  OPTbibsource = {DBLP, http://dblp.uni-trier.de},
}




@article{BaM95,
	author =	"L. Baekgaard and L. Mark",
	title= 		"Incremental computation of time-varying query expressions",
	journal =	"IEEE Trans. on Knowledge and Data Engineering",
	year = 		"1995",
	volume = 	"7",
	number= 	"4",
	pages= 		"583-590",
}


@article{BaS81,
	author =	"F.  Bancilhon and N. Spyratos",
	title= 		"Update semantics of relational views",
	journal =	"ACM Transactions on Database Systems",
	year = 		"1981",
	volume = 	"6",
	number= 	"4",
}





@article{Bay93,
	author =	"P. Bayer",
	title =		"State-of-the-art Report on Reactive Processing in Databases and Artificial Intelligence",
	journal =	"The Knowledge Engineering Review",
	year = 		"1993",
	volume = 	"8",
	number =	"2"
}


@inproceedings{BBFV05,
  author    = {Michael Benedikt and
               Angela Bonifati and
               Sergio Flesca and
               Avinash Vyas},
  title     = {Adding Updates to {XQuery}: Semantics, Optimization, and Static
               Analysis.},
  booktitle = {XIME-P},
  year      = {2005},
  OPTee        = {http://www.ximeco.org/Xime/AddingUpdatesToXQueryBenedikt.pdf},
  OPTcrossref  = {DBLP:conf/ximep/2005},
  OPTbibsource = {DBLP, http://dblp.uni-trier.de}
}


@inproceedings{BBGKN02,
	author =	"M. Benedikt and G. Bruns and J. Gibson and R. Kuss and A. Ng",
	title =		"Automated Update Management for {XML} integrity constraints",
	booktitle =	"Program Language Technologies for XML (PLANX02)", 
	year = 		"2002",

}


@article{BCF96,
	author =	"N. Bidoit and S. Cerrito and Ch. Froidevaux",
	title =		"A linear logic approach to consistency preserving updates",
	journal = 	"Journal of Logic and Computation",
	volume= 	"6",
	number= 	"3",
	year = 		"1996",
}


@inproceedings{BCFFR03,
	author =	"M. Benedikt and C-Y Chan and W. Fan and J. Freire and R. Rastogi",
	title =		"Capturing both Types and Constraints in Data Integration",
	booktitle =	"SIGMOD, San Diego, CA", 
	year = 		"2003",
  	editor = "ACM Press",

}


@misc{BCFFRS06,
	author = "S. Boag and D. Chamberlin and M.F. Fernandez and D. Florescu and J. Robie and J. Sim�on", 
	title =		"{XQuery} 1.0, W3C Candidate Recommendation 8 June 2006 ", 
	howpublished =	"Available at {http://www.w3.org/TR/xquery} ",
}


@article{BCL89,
	author =	"J. Blakeley and N. Coburn and P. Larson",
	title =		"Updating Derived Relations: Detectiong irrelevant and autonomously computable updates",
	journal =	"ACM Transactions on Database Systems",
	year = 		"1989",
	volume = 	"14",
	number= 	"3",
}


@inproceedings{BDH03,
	author =	"V. P. Braganholo and S. B. Davidson and C. A. Heuser",
	title =		"On the updatability of {XML} views over relational databases",
	booktitle =	"Web and Databases (WebDB)", 
	month= 		"June",
	address= 	"San Diego, CA, USA",
	year= 		"2003",
}


@inproceedings{BDFHT01,
	author =	"P. Buneman and S. Davidson and W. Fan and C. Hara and W. C. Tan",
	title =		"Keys for {XML}",
	booktitle =	"WWW10, May 2-5", 
	year = 		"2001",

}


@article{BDFHT03,
  author    = {Peter Buneman and
               Susan B. Davidson and
               Wenfei Fan and
               Carmem S. Hara and
               Wang Chiew Tan},
  title     = {Reasoning about keys for {XML}.},
  journal   = {Inf. Syst.},
  volume    = {28},
  number    = {8},
  year      = {2003},
  pages     = {1037-1063},
  ee        = {http://dx.doi.org/10.1016/S0306-4379(03)00028-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}



@inproceedings{BDHL03LongV,
	author =	"B. Bouchou and D. Duarte and M. {Halfeld-Ferrari} and D. Laurent",
	title =		"Extending Tree Automata to Model {XML} validation under Element and Attribute Constraints",
	booktitle =	"5th International Conference On Enterprise Information Systems (ICEIS)", 
	year = 		"2003",

}

@inproceedings{BDHL03,
	author =	"B. Bouchou and D. Duarte and M. {Halfeld-Ferrari} and D. Laurent",
	title =		"Extending Tree Automata to Model {XML} validation under Element and Attribute Constraints",
	booktitle =	"ICEIS", 
	year = 		"2003",

}

@Article{BH83,
  author = 		 {B. Bruegge and P. Hibbard},
  title = 		 {Generalized Path Expressions: A High-Level Debugging Mechanism},
  journal = 	 {Journal of Systems and Software},
  year = 		 {1983},
  OPTkey = 		 {},
  OPTvolume = 	 {3},
  OPTnumber = 	 {},
  pages = 	 {265-276},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}


@inproceedings{BHM03,
	author =	"B. Bouchou and  M. {Halfeld-Ferrari} and M. A. Musicante",
	title =		"Tree Automata to Verify Key Constraints",
	booktitle =	"Web and Databases (WebDB)",
	url= 		"http://www.cse.ogi.edu/webdb03/index.htm", 
	month= 		"June",
	address= 	"San Diego, CA, USA",
	year = 		"2003",

}




@inproceedings{BDHL03b,
	author =	"B. Bouchou and D. Duarte and M. {Halfeld-Ferrari} and D. Laurent",
	title =		"Tree Automata for  validating {XML} views  under Element and Attribute Constraints",
	booktitle =	"Technical Report (To appear), LI, Univesit\'e de Tours", 
	year = 		"2003",

}

@InProceedings{BDHLM04sccc,
 author = 		 {B. Bouchou and D. Duarte and M. {Halfeld Ferrari} and D. Laurent and M. A. Musicante },
  title = 		 {Conservative Extensions of Regular Languages},
  booktitle = 	 {XXIV International Conference of the Chilean Computer Science Society (SCCC)},
  year = 	 {2004},
}


@InProceedings{BDHLM04mfcs,
  author = 		 {B. Bouchou and D. Duarte and M. {Halfeld Ferrari} and D. Laurent and M. A. Musicante },
  title = 		 {Schema Evolution for {XML}: A Consistency-Preserving Approach},
  booktitle = 	 {Mathematical Foundations of Computer Science (MFCS)},
  OPTcrossref =  {},
  OPTkey = 		 {},
  pages = 	 {876-888},
  year = 	 {2004},  
	OPTeditor = 	 {},
  OPTvolume = 	 {},
  number = 	 {3153},
  series = 	 {Lecture Notes in Computer Science},
  OPTaddress = 	 {Prague, Czech Republic},
  month = 	 {August},
  OPTorganization = {},
  publisher = {Springer-Verlag},
  OPTnote = 	 {},
  OPTannote = 	 {},
}

@incollection{BDHM09,
	author = 	{B�atrice Bouchou and  Denio Duarte and  Mirian Halfeld Ferrari and Martin A. Musicante},
 	title = 	{Extending XML Types Using Updates},
	booktitle =	{Services and Business Computing Solutions with XML:  Applications for Quality Management and Best Processes},
	editor 	= { Dr. Hung},
	publisher= { IGI Global, to appear},
	year = 	{2009},
}


@article{BeK07,
	author =	"Michael Benedikt  and Christoph Koch",
	title =		"{XPath} Leashed ",
	journal =	"{ACM} Computing Surveys", 
	note= 		"To appear",
	year = 		"2007",
}


@article{Bel90,
	author =	"J. Bell",
	title =		"Nonmontonic reasoning, nonmonotonic logics and reasoning about change",
	journal =	"Artificial Intelligence Review",
	year = 		"1990",
	volume = 	"4",
}

@incollection{Bel77,
	author = 	"N. D. Belnap",
	title = 	"A useful four-valued logic",
	booktitle = 	"Modern Uses of Multiple-Valued Logic",
	publisher = 	"D. Reidel Publishing Co.",
	year =		"1977",
	editor = 	"J. M. Dunn and G. Epstein",
}



@book{Ben93,
	author =	"M. Ben-Ari ",
	title =		"Mathematical Logic for Computer Science",
	year = 		"1993",
	publisher = 	"Prentice Hall",
	series=		"International Series in Computer Science",
}

@article{BeS86,
    author="G. Berry and R. Sethi",
    title="From Regular Expressions to Deterministic Automata",
    journal = "Theorical Computer Science",
    volume = "48",
    pages = "117-126",
    year = "1986",
}



@inproceedings{Bes84,
	author =	"E. Best",
	title =		"Concurrent behaviour: sequences, processes and axioms",
	booktitle =	"Seminar on Concurrency Carnegie-Mellon University", 
	year = 		"1984",
	editor = 	"Springer-Verlag",
	series= 	LNCS,
	number= 	"197",
}



@inproceedings{Bes89,
	author =	"P. Besnard",
	title =		"The completeness problem for first order circumscription",
	booktitle =	"Proceedings AISB Conference, University of Sussex", 
	year = 		"1989",
}


@ARTICLE{BFHS03,
  author = "T. Bultan and X. Fu and R. Hull and J. Su",
  title = "Conversation specification: a new approach to design and analysis of e-service composition.",
  Journal = "Proc. WWW, pp. 403-410. ACM",
  year = "2003",
}

@inproceedings{BFK03,
  author    = {Michael Benedikt and
               Wenfei Fan and
               Gabriel M. Kuper},
  title     = {Structural Properties of {XPath} Fragments.},
  booktitle = {ICDT},
  year      = {2003},
  pages     = {79-95},
  OPTee        = {http://link.springer.de/link/service/series/0558/bibs/2572/25720079.htm},
  OPTcrossref  = {DBLP:conf/icdt/2003},
  OPTbibsource = {DBLP, http://dblp.uni-trier.de}
}


@article{BFSW01,
    author = "P. Buneman and W. Fan and J. Simeon and S. Weinstein",
    title = "Constraints for semistructured data and {XML}",
    journal = "SIGMOD Record (ACM Special Interest Group on Management of Data)",
    volume = "30",
    number = "1",
    pages = "47-54",
    year = "2001",
}




@inproceedings{BH03,
	author =	"B. Bouchou and M. {Halfeld-Ferrari}",
	title =		"Updates and incremental validation of {XML} documents",
	booktitle =		"The 9th International Workshop on Data Base Programming Languages (DBPL)",
	year = 		"2003",
    editor = "Springer",
    series = "LNCS",
    number = "2921",
}




@article{Bid91,
	author =	"N. Bidoit",
	title =		"Negation in rule-based database languages: a survey",
	journal =	"Theoretical Computer Science",
	year = 		"1991",
	volume = 	"78",
	number =	"1",
}


@book{Bid92,
	author =	"N. Bidoit",
	title =		"Base de donn\'ees deductives - pr\'esentation de Datalog",
	year = 		"1992",
	publisher = 	"Armand Colin",
}

@article{BiF91,
	author =	"N. Bidoit and Ch. Froidevaux",
	title =		"Negation by default and unstratifiable logic programs",
	journal =	"Theoretical Computer Science",
	year = 		"1991",
	volume = 	"78",
	number =	"1",
}


@article{BiF91a,
	author =	"N. Bidoit and Ch. Froidevaux",
	title =		"General logic databases and programs: default  logic semantics and stratification",
	journal =	"Journal of Information and Computation",
	year = 		"1991",
	volume = 	"91",
}

@article{BiH89,
	author =	"N. Bidoit and R. Hull",
	title =		"Minimalism, justification and non-monotonicity in deductive databases",
	journal =	"Computer System Science",
	year = 		"1989",
	volume = 	"38",
	number =	"2",
}


@inproceedings{BiL90,
	author =	"N. Bidoit and P. Legay",
	title =		"Well: an evaluation procedure for all logic programs",
	booktitle =	"Proceedings of  the International Conference on Database Theory", 
	year = 		"1990",
}


@article{BK93,
    author=		"A. {Br\"{u}ggeman-Klein}",
    title=		"Regular expressions into finite automata",
    journal = 	"Theoretical Computer Science",
	volume =  	"120",
    pages = 	"197-213",
    year = 		"1993", 
}


@techreport{BKMW01,
	author =	"A. {Br\"{u}ggeman-Klein} and  M. Murata and D. Wood",
	title =		"Regular tree and regular hedge languages over non-ranked alphabets",
	year = 		"2001",
	institution =	"Hong Kong Univ. of Science and Technology Computer Science Center (available at \texttt{http://www.cs.ust.hk/tcsc/RR/2001�-05.ps.gz})",
	number =	"{HKUST TCSC 2001 05}",
}




@misc{BKW98,
	author =	"A. {Br\"{u}ggeman-Klein} and D. Wood",
	title =		"Regular tree languages over non-ranked alphabets",
	howpublished=	"unpublished manuscript",
	year = 		"1998",
	
}


@article{BKW98b,
  author = "A. {Br\"{u}ggeman-Klein} and D. Wood",
  title = "One-unambiguous regular languages",
  journal = "Information and Computation",
  year = "1998",
  volume="142(2)",
  pages="182-206",
}


@inproceedings{BKW92,
	author =	"A. {Br\"{u}ggeman-Klein} and D. Wood",
	title =		"Deterministic regular languages",
	booktitle =	"STACS", 
	year = 		"1992",
}


@inproceedings{BKW04,
	author =	"A. {Br\"{u}ggeman-Klein} and D. Wood",
	title =		"Balanced Context-Free Grammars,Hedge Grammars and Pushdown Caterpillar Automata",
	booktitle =	"Extreme Markup Languages", 
	year = 		"2004",
	url = 		{http://www.idealliance.org/papers/extreme/Proceedings/html/2004/Bruggemann-Klein01/EML2004Bruggemann-Klein01.xml},
}


@article{BlS68,
	author =	"H. Blair and V. S. Subrahmanian",
	title =		"Paraconsistent Logic Programming",
	journal =	"Theoretical Computer Science",
	year = 		"1989",
	volume = 	"68",
}

@inproceedings{BMS86,
	author =	"F. Bancilhon and D. Maier and Y. Sagiv and J. Ullman",
	title =		"Magic sets and other strange ways to implement logic programs",
	booktitle =	PODS,
	year = 		"1986",
    publisher = {ACM Press},
}



@techreport{BCGLM03,
	author =		"D. Berardi and  D. Calvanese and  G. De Giacomo and  M. Lenzerini and  M. Mecella",
	title =			"Automatic Composition of E-Services",
	year = 			"2003",
	institution =	"Dipartimento di Informatica e Sistemistica, Universita di Roma La Sapienza, Roma, Italy",
	number =		"22-2003",
}

@inproceedings{BCST96,
	author =	"M. H. Bohlen and J. Chomicki and R. T. Snodgras and D. Toman",
	title =		"Querying {TSQL2} Databases with Temporal Logic",
	booktitle =	EDBT,
	year = 		"1996",
}

@article{BHKO02,
 	author = 	"{M. G. J. van den} Brand and J. Heering and P. Klint and P. A. Olivier",
	title =		"Compiling Rewrite Systems: The {ASF+SDF} Compiler",
	journal =	"ACM, Transactions on Programming Languages and Systems",
	year = 		"2002",
	volume = 	"24",
}



@inproceedings{BJS95,
	author =	"M. H. Bohlen and  C. S. Jensen and  R. T. Snodgras",
	title =		"Evaluating the completeness of {TSQL2}",
	booktitle =	"Proc. of the Int. Workshop on Temporal Databases",
	year = 		"1995",
}


@inproceedings{BLT86,
	author =	"J. A. Blakeley and B. A. Larson and F. W. Tompa",
	title =		"Efficiently Updating Materialized Views",
	booktitle =	"Proceedings of the ACM-SIGMOD International Conference on Mangement of Data",
	year = 		"1986",
}


@inproceedings{BoD07,
         author =    "B. Bouchou and D. Duarte",
         title =        "Assisting {XML} Schema Evolution that Preserves Validity",
         booktitle= 	"{XXII} Simp{\'o}sio Brasileiro de Banco de Dados ({SBBD})",
         year =         "2007",
}


@article{Bon95,
	author =	"P. A. Bonatti",
	title =		"Autoepistemic logics as a unifying framework",
	journal =	"The Journal of Logic Programming",
	year = 		"1995",
	volume = 	"22",
	number =	"2",
}



@article{BoS85,
	author =	"G. Bossu and P. Siegel",
	title =		"Saturation, nonmontonic reasoning and closed-word assumption",
	journal =	"Artificial Intelligence Review",
	year = 		"1985",
	volume = 	"25",
}


@article{Bor85,
	author =	"A. Borgida",
	title= 		"Langage features for flexible handling of exceptions in information systems",
	journal =	"ACM Transactions on Database Systems",
	year = 		"1985",
	volume = 	"10",
}






@book{BPSM00,
       author =       "T. Bray and J. Paoli and C. M. Sperberg-McQueen and E. Maler",
       title =        "Extensible markup language ({XML}$^{TM}$)",
       publisher = 		"{http://www.w3.org/XML}",
       year =         "2000",
     }






@article{BPV04,
 author = {Andrey Balmin and Yannis Papakonstantinou and Victor Vianu},
 title = {Incremental validation of XML documents},
 journal = {ACM Trans. Database Syst.},
 volume = {29},
 number = {4},
 year = {2004},
 OPTissn = {0362-5915},
 pages = {710-751},
 doi = {http://doi.acm.org/10.1145/1042046.1042050},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }


@inproceedings{BRSM03,
	author =	"Danila Berardi and Fabio {de Rosa} and Luca {de Santis} and Massimo Mecella",
	title =		"Finite State Automata as Conceptual Model for E-services",
	booktitle =	"Integrated Design and Process Technology (IDPT)",
	year = 		"2003"
}




@article{BrV88,
	author =	"V. Brosda and G. Vossen",
	title =		"Update and Retrieval in a Relational Database Through a Universal Schema Interface",
	journal =	"ACM, Transactions on Database Systems",
	year = 		"1988",
	volume = 	"13",
	number =	"4"
}

@inproceedings{Bry90,
	author =	"F. Bry",
	title =		"Intensional Updates: Abduction Via Deduction",
	booktitle =	"International Symposium on Logic Programming",
	year = 		"1990"
}

@article{Buc60,
  author = "J. R. B�chi",
  title =  "Weak second-order arithmetic and finite automata",
  journal = {Z. Math Logik Grundlag. Math.},
  year = {1960},
  volume = 	"6",
  pages =	"66-92",
 }


@inproceedings{Bun97,
  author = "P. Buneman",
  title =  "Semistructured data",
  booktitle = "Tutorial in Proceedings of the 16th ACM Symposium on Principles of Database Systems",
  year =   "1997",
 }


@inproceedings{CaC95,
	author =	"W.  A. Carnielli and J. C. {Cifuentes Vasquez}",
	title =		"Is there logic behind fuzziness?",
	publisher= 	"UNICAMP",
	series= 	 	"CLE",
	number=		"14",
	year = 		"1995",
}



@inproceedings{Cad95,
	author =	"M. Cadoli",
	title =		"Tractable reasoning in artificial intelligence",
	publisher= 	"Springer-Verlag",
	series= 	 LNAI,
	number=		"941",
	year = 		"1995",
}



@incollection{CaF84,
	author = 	"M. A. Casanova and A. L. Furtado",
	title = 	"On the description of database transition constraints using temporal constraints",
	booktitle = 	"Advances in Data Base Theory",
	publisher= 	"Plenum Press",	
	editor= 	"H. Gallaire, J. Minker and J.M. Nicolas",
	year =		"1984",
	volume= 	"2",
}



@proceedings{CaF03,
  author    = {Pascal Caron and Marianne Flouret},
  editor    = {Zolt{\'a}n {\'E}sik and
               Zolt{\'a}n F{\"u}l{\"o}p},
  title     = {From Glushkov {WFAs} to Rational Expressions},
  booktitle = {Developments in Language Theory},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2710},
  year      = {2003},
  isbn      = {3-540-40434-1},
}


@Article{CaH74,
  author = 		 {R. N. Campbell and A. N. Habermann},
  title = 		 {The specification of process synchronization by path expressions},
  journal = 	 {Lecture Notes in Computer Science},
  year = 		 {1974},
  OPTkey = 		 {},
  volume = 	 {16},
  OPTnumber = 	 {},
  pages = 	 {89-102},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}


@TechReport{Cam77,
  author = 		 {R. H. Campbell},
  title = 		 {Path Expressions: A technique for specifying process synchronization},
  institution =  {Dept. Comp. Sci., Univ. Illinois at Urbana-Champaign},
  year = 		 {1977},
  OPTkey = 		 {},
  type = 	 {Report},
  number = 	 {UIUCDCS-R-77-863},
  OPTaddress = 	 {},
  OPTmonth = 	 {May},
  OPTnote = 	 {},
  OPTannote = 	 {}
}


@inproceedings{CAM02,
  author = "G. Cobena and S. Abiteboul and A. Marian",
  title =  "Detecting Changes in {XML} Documents ",
  booktitle = "Data Engineering",
  year =   "2002",
 }

@inproceedings{CAM07,
 author = { Bogdan Cautis and  Serge Abiteboul and  Tova Milo },
 title = {Reasoning about {XML} Update Constraints},
 booktitle = {PODS'07: Proceedings of the twenty-sixth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems},
 year = {2007},
 OPTisbn = {---},
 pages = {To appear},
 location = {Pekin, Chine},
 OPTdoi = {??},
 publisher = {ACM Press},
 OPTaddress = {New York, NY, USA},
 }






@inproceedings{Car90,
	author =	"W. A. Carnielli",
	title =		"Many-valued Logics and Plausible Reasoning",
	booktitle =	"20th International Symposium on Multiple-valued Logic",
	year = 		"1990",
}


@article{CaZ00,
 author = {Pascal Caron and Djelloul Ziadi},
 title = {Characterization of {G}lushkov automata},
 journal = {Theor. Comput. Sci. (TCS)},
 volume = {233},
 number = {1-2},
 year = {2000},
 OPTissn = {0304-3975},
 pages = {75-90},
 OPTdoi = {http://dx.doi.org/10.1016/S0304-3975(97)00296-X},
 publisher = {Elsevier Science Publishers Ltd.},
 address = {Essex, UK},
 }





@article{CaW85,
	author =	"L. Cardelli and P. Wegner",
	title =		"On understanding types, data abstraction and polymorphism",
	journal =	"Computing Surveys",
	year = 		"1985",
	volume = 	"17",
}





@phdthesis{Cer90,
	author = 	"S. Cerrito",
	title = 	"Contribution de la logique lin\'eaire au probl\`eme de la n\'egation par \'echec",
	school = 	"LRI, Universit\'e de Paris-Sud",
	year = 		"1990",
}

@inproceedings{Cer90b,
	author =	"S. Cerrito",
	title =		"A linear semantics for allowed logic programs",
	booktitle =	"Proceedings of the 5th Annual IEEE Symposium on Logic in Computer Science",
	year = 		"1990"
}


@inproceedings{CeW90,
	author =	"S. Ceri and J. Widom",
	title =		"Deriving Production Rules for Constraint Maintenance",
	booktitle =	 VLDB,
	year = 		"1990"
}


@article{CBF01,
	author=	"R. F. Carrasco and A. Bia and M. L. Forcada",
	title=	"Turning {DTD}s into specialized tree-automata-based schemata to match a collection of marked-up documents",
	journal=	"Markup Languages Journal",
	year=	"2001",
	volume= "(prelimary draft document)"

}


@article{CBFP00,
   author=	"R. F. Carrasco and A. Bia and M. L. Forcada and P. M. {P\'erez-Ant\'on}",
   title=	"Turning {DTD}s into specialized tree-automata-based schemata to match a collection of marked-up documents",
   journal="JCDL Roanoke, Virginia-USA",
   year=	"2000"
}


@inproceedings{CCR,
Author = {J. Chabin and  J. Chen and P. Rety},
title = "Combining Synchronized and Context-Free Tree-tuple Languages",
howpublished = "submitted paper",
}


@inproceedings{CSBH05,
 author ="Ahmed Cheriat and Agata Savary and B\'eatrice Bouchou and M\'{i}rian {Halfeld Ferrari}",
 title = "Incremental String Correction: Towards Correction of {XML} Documents",
 booktitle = "Proceedings of the of the Prague Stringology Conference (PSC'05)",
 year = "2005",
 }



@article{CDKNMW02,
	author =	"Francisco Curbera and Matthew Duftler and Rania Khalaf and William Nagy and Nirmal Mukhi and Sanjiva Weerawarana",
	title =		"Unraveling the Web Services Web: An Introduction to {SOAP}, {WSDL}, and {UDDI}", 
	journal =		"IEEE Internet  Computing ",
	year = 		"2002",
	month=  		"march-april",
	url= 		"{http://www.cc.gatech.edu/classes/AY2003/cs6210_fall/papers/00991449.pdf.}",
}


@techreport{CDZ02,
	author =	"Y. Chen and S. Davidson and Y. Zheng",
	title =		"Validating constraints in  {XML}",
	year = 		"2002",
	ps        = "{http://db.cis.upenn.edu/DL/validate.ps}",
	institution= "{Department of Computer and Information Science, University of Pennsylvania}",
	number = 	"{MS-CIS-02-03}",
}


@inproceedings{CDZ02a,
 author ="Y. Chen and S. B. Davidson and Y. Zheng",
 title = "{XK}validator: a constraint validator for {XML}",
 booktitle = "Proceedings of the 11th International Conference on Information and Knowledge Management",
 year = "2002",
 pages = "446-452",
 location = "McLean, Virginia, USA",
 editor = "ACM Press",
 }

@inproceedings{CFB04,
  author    = {Ion Constantinescu and
               Boi Faltings and
               Walter Binder},
  title     = {Large Scale, Type-Compatible Service Composition.},
  booktitle = {ICWS},
  year      = {2004},
  pages     = {506-513},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/ICWS.2004.69},
  crossref  = {icws04},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{icws04,
  title     = {Proceedings of the  IEEE International Conference on Web
               Services (ICWS'04), June 6-9, 2004, San Diego, California,
               USA},
  booktitle = {ICWS},
  publisher = {IEEE Computer Society},
  year      = {2004},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}



@inproceedings{CFL91,
	author =		"W. A. Carnielli and  L. {Farinas del Cerro} and M. M.  {Lima  Marques}",
	title =		"Contextual Negations and Reasoning with contradictions",
	booktitle =	"Proc. of the 12th International Conference on Artificial Intelligence",
	year = 		"1991",
}


@inproceedings{CFP00,
  author = "S. Ceri and P. Fraternali and S. Paraboschi",
  title =  "{XML}: Current Developments and Future Challenges for the Database Community",
  booktitle = EDBT,
  year =   "2000"
 }


@misc{CFR06,
	author = "D. Chamberlin and D. Florescu and J. Robie", 
	title =		"{XQuery} Update Facility, {W3C} {W}orking {D}raft 11 {J}uly 2006", 
	howpublished =	"Available at http://www.w3.org/TR/2006/WD-xqupdate-20060711/",
}


@inproceedings{GGP08,
  author    = {Giuseppe Castagna and  Nils Gesbert and                Luca Padovani},
  title     = {A theory of contracts for web services},
  booktitle = {POPL},
  year      = {2008},
  pages     = {261-272},
  ee        = {http://doi.acm.org/10.1145/1328438.1328471},
  OPTcrossref  = {DBLP:conf/popl/2008},
  OPTbibsource = {DBLP, http://dblp.uni-trier.de}
}




@book{CGT90,
	author =	"S. Ceri and G.Gottlob and L. Tanca",
	title =		"Logic Programming and Databases",
	year = 		"1990",
	publisher = 	"Springer-Verlag",
}




@inproceedings{Cha81,
	author =	"A. K. Chandra",
	title =		"Programming primitives for database languages",
	booktitle =	"Proceedings of ACM Symposium on  Principles of Promamming Languages",
	year = 		"1981"
}


@book{Che84,
	author =	"B. F. Chellas",
	title =		"Modal Logic, an Introduction",
	year = 		"1984",
	publisher = 	"Cambridge University Press",
}


@phdthesis{Che06,
	author = 	"Ahmed Cheriat",
	title = 	"Une m\'ethode de correction de la structure de documents {XML} dans le cadre d'une validation incr\'ementale",
	school = 	"LI, Universit\'e Fran�ois Rabelais de Tours",
	year = 		"2006",
}

@article{ChH85,
	author =	"A. K. Chandra and D. Harel",
	title =		"Horn clause queries and generalizations",
	journal =	"Journal of Logic Programming",
	year = 		"1985",
	volume = 	"2",
}


@inproceedings{Chi2000,
	author =	"B. Chidlovskii",
	title =		"Using Regular Tree Automata as {XML} Schemas",
	booktitle =	"Proc. IEEE Advances in Digital Libraries Conference",
	year = 		"2000",
	month= 		"May",
}


@article{Chi2001,
   author="B. Chidloviskii",
   title="Schema Extraction from {XMLS} Data: A Grammatical Inference Approach",
   booktitle="IEEE - Advances in Digital Libraries Conf.",
   year="2001"
}



@inproceedings{Cho92,
	author =	"J. Chomicki",
	title =		"History-less Checking of Dynamic Integrity Constraints",
	booktitle =	"IEEE - Int. Conf. on Data Engineering",
	year = 		"1992",
	month= 		"February",
	pages= 		"557-564",
}





@inproceedings{Cho94,
	author =	"J. Chomicki",
	title =		"Temporal Query Languages: A Survey",
	booktitle =	"Temporal Logic, First International Conference",
	year = 		"1994",
	editor = 	"Springer-Verlag",
	series= 	LNAI,
	number= 	"827",
}



@article{Cho95,
	author =	"J. Chomicki",
	title =		"Efficient Checking of Temporal Integrity Constraints Using  Bounded History Encoding",
	journal =	"ACM Transactions on Database Systems",
	year = 		"1995",
	number =  	"2",
	volume = 	"20",
}


@inproceedings{ChN93,
	author = 		"J.  Chomicki and D. Niwinski",
	title = 		"On the Feasibility of Checking Temporal Integrity Constraints",
	booktitle = 	PODS,
	year =			"1993",
    publisher = {ACM Press},
}




@incollection{ChT98,
	author = 	"J.  Chomicki and D. Toman",
	title = 	"Temporal Logic in Information Systems",
	booktitle = 	"Logics for databases and information systems",
	publisher = 	"Kluwer Acedemic Publishers",
	year =		"1998",
	editor = 	"J, Chomicki and G. Saake",
}


@incollection{Cla78,
	author = 	"K.  L. Clark",
	title = 	"Negation as failure",
	booktitle = 	"Logic and Data Bases",
	publisher = 	"Plemum Press",
	year =		"1978",
	editor = 	"H. Gallaire and J. Minker",
}


@misc{Cla99,
	author = "J. Clark", 
	title =		"{XSL} Transformations ({XSLT} 1.0) -W3C Recommendation 16 November 1999 ", 
	howpublished =	"Available at {http://www.w3.org/TR/xslt}",
}


@inproceedings{ClT90,
	author = 		"J.  Clifford and A. Tuzhilin",
	title = 		"A temporal Relational Algebra as a Basis for Temporal Completeness",
	booktitle = 	VLDB,
	year =			"1990",
}



@inproceedings{CRGW96,
 author = {Sudarshan S. Chawathe and Anand Rajaraman and Hector Garcia-Molina and Jennifer Widom},
 title = {Change detection in hierarchically structured information},
 booktitle = {SIGMOD '96: Proceedings of the 1996 ACM SIGMOD international conference on Management of data},
 year = {1996},
 OPTisbn = {0-89791-794-4},
 pages = {493-504},
 OPTlocation = {Montreal, Quebec, Canada},
 OPTdoi = {http://doi.acm.org/10.1145/233269.233366},
 publisher = {ACM Press},
 OPTaddress = {New York, NY, USA},
 }




@article{Coo70,
	author =	"E. F. Codd",
	title =		"A relational model of data for large shared data banks",
	journal =	"Communications of the  ACM",
	year = 		"1970",
	volume = 	"13",
	number= 	"6",
}



@inproceedings{Coo71,
	author =	"S. A. Cook",
	title =		"The complexity of theorem proving procedures",
	booktitle =	"Proceedings of the third ACM Symposium on Theory of Computing (STOC - 71)",
	year = 		"1971"
}

@article{Coo03,
	author =	"S. V. Coox",
	title= 		"Axiomatization of the evolution of {XML} database schema",
	journal =	" Programming and Computing Software",
	year = 		"2003",
	volume = 	"29",
	number = 	"3",
}



@article{Cos74,
	author =	"N. C. A. Costa",
	title =	"On the theory of inconsistent formal systems",
	journal =	"Notre Dame Journal of Formal Logic",
	year = 	"1974",
	volume = 	"15",
}

@book{Cos93,
	author =	"N. C. A. Costa",
	title =		"Sistemas formais inconsistentes (PhD Thesis 1963)",
	year = 		"1993",
	publisher = 	"Edidora UFPR",
}

@techreport{CoS00,
	author =	"R. Costello and J. C. Schneider",
	title =		"Challenge of {XML} Schemas - Schema Evolution",
	booktitle =	"The {\"XML Schemas: Best Practices\"} Homepage",
	year = 		"2000",
	OPTee        = { \texttt{http://www.xfront.org/EvolvableSchemas.html} (Not available anymore)},
}




@article{DaB82,
	author =	"U. Dayal and  P. A. Bernstein",
	title =		"On the correct translation of update relations on relational views",
	journal =	"ACM Transactions on Database Systems",
	year = 		"1982",
	volume = 	"8",
	number= 	"3",
}

@inproceedings{Dal88,
	author =	"M. Dalal",
	title =		"Investigation into a theory of knowledge base revision: Preliminary report",
	booktitle =	"Proceedings of the Seventh National Conference on Artificial Intelligence",
	year = 		"1988"
}


@book{Dal89,
	author =	"D. Van Dalen",
	title =		"Logic and Structure",
	year = 		"1989",
	publisher = 	"Springer-Verlag",
	edition= 	"Second",
}


@article{Dav80,
	author =	"M. Davis",
	title =		"The mathematics of non-monotonic reasoning",
	journal =	"Artificial Inteligence",
	year = 		"1980",
	volume = 	"13",
	number= 	"XX",
}



@article{DaW89,
	author =	"S. Das and M.H. Williams",
	title =		"A Path Finding Method For Constraint Checking In Deductive Databases",
	journal =	"Data and Knowledge Engineering",
	year = 		"1989",
	volume = 	"4",
}

@inproceedings{DBM88,
	author =	"U. Dayal and A. Buchmann and D. McCarthy",
	title =		"Rules Are Objects Too: A Knowledge Model for an Active, Object-Oriented Database Systems",
	booktitle =	"Proc. 2nd International Workshop on Object-Oriented Database Systems", 
	year = 		"1988",
	editor = 	"Springer-Verlag",
	series= 	LNCS,
	number= 	"334",
}

@PHDTHESIS{Deb05,
  AUTHOR = 	"Denis Debarbieux",
  TITLE = {Mod�lisation et requ�tes des documents semi-structur�s\,: exploitation de la structure
de graphe},
  SCHOOL = {Universit� des Sciences et Technologies de Lille},
  YEAR = {2005},
  INSTITUTION = {LIFL},
  OPTKEY = {},
  TYPE = {PhD Thesis},
  OPTADDRESS = {},
  OPTMONTH = {},
  ANNOTE = {In French}
}





@inproceedings{Dec86,
	author =	"H. Decker",
	title =		"Integrity Enforcement on Deductive Databases",
	booktitle =	"First International Conference on Expert Database Systems (EDS)",
	year = 		"1986"
}


@inproceedings{Dec90,
	author =	"H. Decker",
	title =		"Drawing updates from derivations",
	booktitle =	"Proceedings of the Thrid  International Conference on Database Theory (ICDT)",
	year = 		"1990",
	editor = 	"Springer-Verlag",
	series= 	LNCS,
	number= 	"470",
}

@article{DeT05,
  author    = {Alin Deutsch and
               Val Tannen},
  title     = {{XML} queries and constraints, containment and reformulation.},
  journal   = {Theor. Comput. Sci.},
  volume    = {336},
  number    = {1},
  year      = {2005},
  pages     = {57-87},
  OPTee        = {http://dx.doi.org/10.1016/j.tcs.2004.10.032},
  OPTbibsource = {DBLP, http://dblp.uni-trier.de}
}

@MastersThesis{dissRobson,
  author = 	 {Robson J. P. da Luz},
  title = 	 {Um Ambiente para o Aprendizado de Gram�ticas de �rvore},
  school = 	 {Universidade Federal do Paran�},
  year = 	 {2007},
  OPTkey = 	 {},
  OPTtype = 	 {},
  OPTaddress = 	 {},
  OPTmonth = 	 {},
  note = 	 {(In preparation, in portuguese)},
  OPTannote = 	 {}
}



@InProceedings{DM99,
  author = 		 {Elias P. {Duarte Jr.} and Martin A. Musicante},
  title = 		 {Formal specification of {SNMP} mib's using action semantics: The routing proxy case study},
  booktitle = 	 {Proc. of the Sixth IFIP/IEEE Int'l Symp. on Integrated Network Management},
  OPTcrossref =  {},
  OPTkey = 		 {},
  pages = 	 {417-430},
  year = 	 {1999},
  editor = 	 {IEEE Publishing},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  address = 	 {Boston, USA},
  OPTmonth = 	 {May},
  OPTorganization = {},
  OPTpublisher = {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}




@inproceedings{DJL88,
	author =	"P. Deransart and M. Jourdan and B. Lorho",
	title =		"Attribute Grammars: Definitions, Systems and Bibliography",
	year = 		"1988",
	editor = 	"Springer-Verlag",
	series= 	"LNCS",
	number= 	"323",
}



@article{dLHM07,
	author =	"Robson {da Luz} and M.{Halfeld Ferrari} and Martin A. Musicante",
	title =		"Regular Expression Transformations to Extend Regular Languages (With Application to a Datalog {XML} Schema Validator)",
	journal =	"Journal of Algorithms (Special Issue)",
	editor = 	"Elsevier",
	year = 		"2007",
	volume = 	"62",
	number = 	{3-4},
	pages= 		{148-167},
}


@book{DLR91,
	author =	"C. Delobel and C. Lecluse and P. Richard",
	title =		"Base de donn\'ees: des systemes relationnels aux syst\'emes \`a objets",
	year = 		"1991",
	publisher = 	"Inter Editions",
}


@article{DoG84,
	author =	"W. P. Dowling and J. H. Gallier",
	title =		"Linear time algorithms for testing satisfiability of propositional {H}orn formulae",
	journal =	"Journal of Logic programming",
	year = 		"1984",
	volume = 	"1",
}


@article{Don70,
  author    = {John Doner},
  title     = {Tree Acceptors and Some of Their Applications.},
  journal   = {J. Comput. Syst. Sci.},
  volume    = {5},
  number    = {4},
  year      = {1970},
  OPTpages     = {453},
  OPTbibsource = {DBLP, http://dblp.uni-trier.de}
}


@phdthesis{Dua05,
	author = 	"Denio Duarte",
	title = 	"Une m�thode pour l'�volution de sch�mas {XML} pr�servant la validit� des documents",
	school = 	"Universit� Fran�ois-Rabelais de Tours, LI/Campus Blois",
	year = 		"2005",
	  INSTITUTION = {LI},
  OPTKEY = {},
  TYPE = {PhD Thesis},
  OPTADDRESS = {},
  OPTMONTH = {},
  ANNOTE = {In French}
}
}

@inproceedings{Dup96,
author = {P. Dupont},
title = {Incremental regular inference},
booktitle = {International Colloquium on Grammatical Inference: Learning Syntax from Sentences},
year = {1996},
series    = {Lecture Notes in Computer Science},
OPTisbn = {3-540-61778-7},
pages = {222-237},
publisher = {Springer-Verlag}
}



@techreport{dZL02,
	author =	"Silvano {Dal Zilio} and Denis Lugiez",
	title =		"{XML Schema, Tree Logic and Sheaves Automata}",
	year = 		"2002",
	institution =	"INRIA -  Sophia Antipolis , Equipe :  MIMOSA",
	ee        = {http://www.inria.fr/rrrt/rr-4631.html},
	month =		"Novembre",
}






@article{Ehr61,
	author =	"A. Ehrenfeucht",
	title =		"An application of games to the completeness problem for formalized theories",
	journal =	"Fundamenta Mathematic{\ae}",
	year = 		"1961",
	volume = 	"49",
}



@article{EMR85,
	author =	"D. Etherington and  R. Mercer and  R. Reiter",
	title =		"On the adequacy of predicate circumscription for closed word assumption",
	journal =	"Computational Intelligence",
	year = 		"1985",
	volume = 	"1",
}


@inproceedings{Eth87a,
	author =	"D. W. Etherington",
	title =		"Relating Default Logic and Circumscription",
	booktitle =	IJCAI,
	year = 		"1987",
	note = 		"Volume 1"
}

@inproceedings{Eth87b,
	author =	"D. W. Etherington",
	title =		"A Semantics for Default Logic",
	booktitle =	IJCAI,
	year = 		"1987",
	note = 		"Volume 1",
}




@article{Fag82,
	author =	"R. Fagin",
	title =		"Horn clauses and databases dependencies",
	journal =	"Journal of ACM",
	year = 		"1982",
	volume = 	"29",
	number= 	"4",
}


@article{Fag76,
	author =	"R. Fagin",
	title =		"Probabilities on finite models",
	journal =	"Journal of Symbolic Logic",
	year = 		"1976",
	volume = 	"41",
	number= 	"1"
}

@inproceedings{Fag96,
	author =	"R. Fagin",
	title =		"Combining fuzzy information from multiple systems",
	booktitle= 	PODS,
	year = 		"1996",
    publisher = {ACM Press},
}

@inproceedings{Fan05,
  author    = {Wenfei Fan},
  title     = {{XML} Constraints: Specification, Analysis, and Applications.},
  booktitle = {DEXA Workshops},
  year      = {2005},
  pages     = {805-809},
  ee        = {http://dx.doi.org/10.1109/DEXA.2005.204},
  OPTcrossref  = {DBLP:conf/dexaw/2005},
  OPTbibsource = {DBLP, http://dblp.uni-trier.de}
}




@inproceedings{FaL01,
    author = "W. Fan and L. Libkin",
    title = "On {XML} integrity constraints in the presence of {DTD}s",
    booktitle = "ACM Symposium on Principles of Database Systems",
    year = "2001",
    pages ="114-125", 
    location = "Santa Barbara, CA",
}


@article{FaL02,
    author = "W. Fan and L. Libkin",
    title = "On {XML} integrity constraints in the presence of {DTD}s",
    journal = "Journal of the {ACM}",
    volume = "49",
    number = "3",
    year = "2002",
    pages ="368-406", 
}

@article{FaS03,
    author = "W. Fan and J. Simeon",
    title = "Integrity constraints for {XML}",
    journal = "Journal of Computer and System Science (JCSS)",
    volume = "66",
    number = "1",
    pages = "254-291",
    year = "2003",
}


@ARTICLE{FaV83,
  author = "Ronald  Fagin and Moshe Y.  Vardi",
  title = "Armstrong Databases for Functional and Inclusion Dependencies",
  Journal = "Information   Processing Letters",
  volume = "16",
  pages = "13-19",
  year = "1983",
}



@ARTICLE{FBS03,
  author = "X. Fu and T. Bultan and J. Su",
  title = "Conversation protocols: A formalism for specification and verification of reactive electronic services.",
  Journal = "Proc. CIAA, LNCS 2759, pp. 188-200. Springer",
  year = "2003",
}


@ARTICLE{FBS04a,
  author = "X. Fu and T. Bultan and J. Su",
  title = "Analysis of interacting {BPEL} web services.",
  Journal = "Proc. WWW, pp. 621-630. ACM",
  year = "2004",
}

@ARTICLE{FBS04b,
  author = "X. Fu and T. Bultan and J. Su",
  title = "Realizability of conversation protocols with message contents.",
  Journal = "Proc. ICWS, pp. 96-103. IEEE",
  year = "2004",
}



@Article{FH76,
  author = 		 {L. Flon and A. N. Habermann},
  title = 		 {Toward the Construction of Verifiable Software Systems},
  journal = 	 {Sigplan Notices},
  year = 		 {1976},
  OPTkey = 		 {},
  OPTvolume = 	 {8},
  OPTnumber = 	 {2},
  OPTpages = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {Proceedings of the Conference on Data Abstraction, Definition, and Structure},
  OPTannote = 	 {}
}



@article{Fit85,
	author =	"M. Fitting",
	title =		"A {K}ripke-{K}leene Semantics for Logic Programs",
	journal =	"Journal of Logic Programming",
	year = 		"1985",
	volume = 	"4",
}

@article{Fit91,
	author =	"M. Fitting",
	title =	"Bilattices and the semantics of logic programming",
	journal =	"Journal of Logic Programming",
	year = 	"1991",
	volume = 	"11",
}

@article{Fit93,
	author =	"M. Fitting",
	title =	"The Family Of Stable Models",
	journal =	"Journal of Logic Programming",
	year = 	"1993",
	volume = 	"17",
}

@inproceedings{FKS01,
	author = 	"W. Fan and G. M. Kuper and J. Sim\'eon",
	title =     "A Unified Constraint Model for {XML}",
	booktitle =	"WWW10, May 2-5", 
	year = 	"2001",

}

@article{FLM98,
    author = "D. Florescu and Alon Y. Levy and A. O. Mendelzon",
    title = "Database Techniques for the World-Wide Web: A Survey",
    journal = "SIGMOD Record",
    volume = "27",
    number = "3",
    pages = "59-74",
    year = "1998",
}

@inproceedings{For89,
	author =	"K. D. Forbus",
	title =		"Introducing actions into quantitative simulation",
	booktitle =	"Proceedings of the Eleventh International Joint Conference on Artificial Intelligence",
	year = 		"1989",
}


@inproceedings{FrG02,
 author = {Markus Frick and Martin Grohe},
 title = {The Complexity of First-Order and Monadic Second-Order Logic Revisited},
 booktitle = {LICS '02: Proceedings of the 17th Annual IEEE Symposium on Logic in Computer Science},
 year = {2002},
 OPTisbn = {0-7695-1483-9},
 pages = {215-224},
 publisher = {IEEE Computer Society},
 OPTaddress = {Washington, DC, USA},
 }


@article{FrP93,
	author =	"P. Fraternali and S. Paraboschi",
	title =	"A Review of Repairing Techniques for Integrity Maintenance",
	journal =	"RIDS",
	year = 	"1993",
}




@techreport{Fro91,
	author =	"Ch. Froidevaux",
	title =		"Introduction aux logiques modales",
	year = 		"1991",
	institution =	"LRI, Universit\'e Paris-Sud",
	number = 	"678",
}


@techreport{Fro93,
	author =	"Ch. Froidevaux",
	title =		"Raisonnement non-monontone et logique des d\'efauts",
	year = 		"1993",
	institution =	"LRI, Universit\'e Paris-Sud",
	number = 	"835",
	note = 		"Rapport scientifique pour l'obtention d'une habilitation \`a diriger des recherches"
}


@inproceedings{FSW00,
  author    = {Mary F. Fern{\'a}ndez and
               J{\'e}r{\^o}me Sim{\'e}on and
               Philip Wadler},
  title     = {An Algebra for XML Query.},
  booktitle = {FSTTCS},
  year      = {2000},
  pages     = {11-45},
  OPTee        = {http://link.springer.de/link/service/series/0558/bibs/1974/19740011.htm},
  OPTcrossref  = {DBLP:conf/fsttcs/2000},
  OPTbibsource = {DBLP, http://dblp.uni-trier.de}
}



@inproceedings{Fuh90,
	author =		"N. Fuhr",
	title =		"A probabilistic framework for vague queries and imprecise information in databases",
	booktitle =	"Proceedings  of 16th VLDB Conference",
	year = 		"1990",
}


@inproceedings{FUV83,
	author =	"R. Fagin and J. Ullman and M. Y. Vardi",
	title =		"On the semantics of updates in databases",
	booktitle =	PODS,
	year = 		"1983",
    publisher = {ACM Press},
}




@inproceedings{GaH91,
	author =		"D. Gabbay and A. Hunter",
	title =		"Making Inconsistency Respectable:  Part 1,",
	booktitle =	"Proceedings of Fundamentals of Artificial Intelligence Research",
	year = 		"1991",
	publisher= 	"Springer-Verlag",
	series= 	 	LNCS,
	number=		"535",
}

@book{GaJ79,
	author =	"Garey and Johnson",
	title =		"Computers and Intractability - A Guide to Theory of NP-Completeness",
	year = 		"1979",
	publisher = 	"W. H. Freeman and Company",
}


@inproceedings{Gel86,
	author =	"M. Gelfond",
	title =		"On stratified autoepistemisc theories",
	booktitle =	"Proceedings of the Sixth National Conference on Artificial Intelligence (AAAI)",
	year = 		"1986",
}


@inproceedings{GeL88,
	author =	"M. Gelfond and V. Lifschitz",
	title =		"The stable model semantics for logic programming",
	booktitle =	"Proceedings of the Fifth International Conference and Symposium of Logic Programming",
	year = 		"1988",
}

@inproceedings{GeL90,
	author =	"M. Gelfond and V. Lifschitz",
	title =		"Logic Programming with Classical Negation",
	booktitle =	"Proceedings of the Seventh International Conference of Logic Programming",
	year = 		"1990",
}

@inproceedings{GeL92,
	author =	"M. Gelfond and V. Lifschitz",
	title =		"Representing Actions in Extended Logic Programming",
	booktitle =	"Proceedings of the Joint  International Conference and Symposium of Logic Programming",
	year = 		"1992",
}


@book{GeN87,
	author =	"M. R. Genesereth  and N. J. Nilsson",
	title =		"Logical Foundations of Artificial Intelligence",
	year = 		"1987",
	publisher = 	"Morgan Kaufmann",
}



@incollection{GeS97,
	author = 	"F. G\'ecseg and M. Steinby",
	title = 	"Tree Languages",
	booktitle = 	"Handbook of Formal Languages",
	publisher= 	"Springer Verlag",	
	editor= 	"G. Rozenberg and A. Salomaa",
	year =		"1997",
	volume= 	"3",
}


@unpublished{GiH06,
	author =	"Fran�oise  Gire and Hicham Idabal",
	title =		"Automate d'arbre pour l'interrogation incr�mentale des bases de donn�es semi-structur�es",
	howpublished =	"Unpublished manuscript (A talk for XML research group)",
	year = 		"2006",
}


@article{Gin88,
	author =	"M. L. Ginsberg ",
	title =	"Multivalued logics: a uniform approach to reasonning in artificial intelligence",
	journal =	"Computational Inteligence",
	year = 	"1988",
	volume = 	"4",
}

@article{Gir87,
	author =	"J-Y. Girard",
	title =		"Linear logic",
	journal =	"Theoretical Computer Science",
	year = 		"1987",
	volume = 	"50",
}

@article{Gir94,
	author =	"F. Gire",
	title =		"Equivalence of well-founded and stable semantics",
	journal =	"The Journal of Logic Programming",
	year = 		"1994",
	volume = 	"21",
}

@inproceedings{GireTalbot07,
  author =       {F. Gire and J.-M.  Talbot},
  title =        {Visibly Pushdown Tree automata},
  year =         {2007},
  booktitle = {submitted},
}



@inproceedings{GKP03,
 author = {Georg Gottlob and Christoph Koch and Reinhard Pichler},
 title = {The complexity of {XPath} query evaluation},
OPTbooktitle = {PODS'03: Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems},
booktitle = PODS,
 year = {2003},
 OPTisbn = {1-58113-670-6},
 pages = {179-190},
 OPTlocation = {San Diego, California},
 doi = {http://doi.acm.org/10.1145/773153.773171},
 publisher = {ACM Press},
 OPTaddress = {New York, NY, USA},
 }


@inproceedings{GKS04,
  author = "G. Gottlob and C. Koch and K. Schulz",
  title = "Conjunctive Queries over Trees",
  booktitle = {PODS'04:Proceedings of the 23rd ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems},
  pages = {189-200},
  year = "2004",
 publisher = {ACM Press},
  OPTurl = "citeseer.ist.psu.edu/gottlob04conjunctive.html"
 }

@inproceedings{GMR05,
 author = {Giovanna Guerrini and Marco Mesiti and Daniele Rossi},
 title = {Impact of {XML} schema evolution on valid documents},
 booktitle = {WIDM'05: Proceedings of the 7th annual ACM international workshop on Web information and data management},
 year = {2005},
 OPTisbn = {1-59593-194-5},
 pages = {39-44},
 location = {Bremen, Germany},
 OPTdoi = {http://doi.acm.org/10.1145/1097047.1097056},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }


@inproceedings{GMS03,
	author =	"Laura Giordano and Alberto Martelli and Camilla Schwind",
	title =		"Specifying and Verifying Systems of Communicating Agents
in a Temporal Action Logiv",
	booktitle =	"AI*AI, LNAI 2829",
	year = 		"2003",
}


@inproceedings{GMS93,
	author =	"A. Gupta and I. S. Mamick and V. S. Subramanian ",
	title =		"Maintaining Views Incrementally",
	booktitle =	"Proceedings of the ACM-SIGMOD International Conference on Mangement of Data",
	year = 		"1993",
}




@article{GPP89,
	author =	"M. Gelfond and H. Przymusinka and T. Przymusinki",
	title =		"On the relationship between Circumscription and Negation as Failure",
	journal =	"Artificial Inteligence",
	year = 		"1989",
	volume = 	"38",
	number= 	"1",
}

@article{GPZ88,
	author =	"G. Gottlob and P. Paolini and R. Zicari",
	title =		"Properties and updates semantics of consistent views",
	journal =	"ACM Transactions on Database Systems",
	year = 		"1988",
	volume = 	"13",
	number= 	"4",
}

@inproceedings{GRS06,
	author =	"G. Ghelli and C. R� and J. Sim�on",
	title =		"{XQuery!} An {XML} Query language with side-effects",
	booktitle =	"DATA-X colocated with EDBT 2006",
	year = 		"2006",
}

@inproceedings{GRS07,
  author    = {Giorgio Ghelli and
               Kristoffer H{\o}gsbro Rose and
               J{\'e}r{\^o}me Sim{\'e}on},
  title     = {Commutativity Analysis in XML Update Languages.},
  booktitle = {ICDT},
  year      = {2007},
  pages     = {374-388},
  OPTee        = {http://dx.doi.org/10.1007/11965893_26},
  OPTcrossref  = {DBLP:conf/icdt/2007},
  OPTbibsource = {DBLP, http://dblp.uni-trier.de}
}



@inproceedings{Gra99,
	author =	"E. Gradel",
	title =		"Why are modal logics so robustly decidable?",
	booktitle =	"Bulletin of the European Association of Theoretical Computer Science",
	number= 	"68",
	year = 		"1999",
}





@inproceedings{GrL95,
	author =	"T. Griffin and L. Libbin",
	title =		"Incremental Maintenance of Views with Duplicates",
	booktitle =	"Proceedings of the ACM-SIGMOD International Conference on Mangement of Data",
	year = 		"1995",
}









@article{GuS86,
	author =		"Y. Gurevich and S. Shelah",
	title =		"Fixed-point extensions of first-order logic",
	journal =		"Annals of Pure and Applied Logic",
	year = 		"1986",
	volume = 	"32",
}



@inproceedings{GYY95,
	author =		"R. Goebel and J. H. You and L. Yuan",
	title =		"Introspective Framework for Paraconsistent Logic Programs",
	booktitle =	"Proc. of the International Symposium on Logic Programming",
	year = 		"1995",
}


@article{Got95,
	author =	"G. Gottlob",
	title =		"Translating default logic into standard autoepistemisc logic",
	journal =	"Journal of ACM",
	year = 		"1995",
	volume = 	"42",
	number = 	"4",
}



@inproceedings{GoK02,
 author = {Georg Gottlob and Christoph Koch},
 title = {Monadic datalog and the expressive power of languages for web information extraction},
 booktitle = {PODS'02: Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems},
 year = {2002},
 OPTisbn = {1-58113-507-6},
 pages = {17-28},
 location = {Madison, Wisconsin},
 OPTdoi = {http://doi.acm.org/10.1145/543613.543617},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }


@article{GPP89,
	author =	"M. Gelfond and H. Przymusinka and T. Przymusinki",
	title =		"On the relationship between Circumscription and Negation as Failure",
	journal =	"Artificial Inteligence",
	year = 		"1989",
	volume = 	"38",
	number= 	"1",
}

@article{GPZ88,
	author =	"G. Gottlob and P. Paolini and R. Zicari",
	title =		"Properties and updates semantics of consistent views",
	journal =	"ACM Transactions on Database Systems",
	year = 		"1988",
	volume = 	"13",
	number= 	"4",
}



@inproceedings{GMR92,
	author =	"G. Grahne and A. Mendelzon and P. Z. Revesz",
	title =		"Knowledge transformations",
	booktitle =	PODS,
	year = 		"1992",
    publisher = {ACM Press},
}


@inproceedings{GSS97,
	author =		"G. Grahne and  N. Spyratos and D. Stamate",
	title =		"Semantics and Containment of Queries with internal and external conjuctions",
	booktitle =	"Database Theory - ICDT",
	year = 		"1997",
	series= 	 	LNCS,
	number=		"1186",
}

@inproceedings{Got92,
	author =	"G. Gottlob",
	title =		"Complexity results for nonmontonic logics",
	booktitle =	"Working notes of the 4th International Workshop of  Non-Monotonic Reasoning, Plymouth",
	year = 		"1992",
}


@article{GuL90,
	author =	"A. Guessoum and J. W. Lloyd",
	title =		"Updating knowledge bases",
	journal =	"New Generation Computing",
	year = 		"1990",
	volume = 	"8",
	number= 	"1",
}


@incollection{Gur84,
	author = 	"Y. Gurevich",
	title =		"Towards a logic tailored for computational complexity",
	booktitle = 	" Computation and Proof Theory",
	publisher = 	"M. Richter et al.",
	year =		"1984",
	editor = 	"Springer-Verlag",
}


@incollection{Gur88,
	author = 	"Y. Gurevich",
	title =		"Logic and the challenge of computer science",
	booktitle = 	"Trends in Theoretical Computer Science",
	publisher = 	"E.Borger",
	year =		"1988",
	editor = 	"Computer Science Press"
}


@inproceedings{GUS94,
	author =	"A. Gupta and Y. Sagiv and J. Widom",
	title =		"Constrait checking with partial information",
	booktitle =	PODS,
	year = 		"1994",
    publisher = {ACM Press},
}

@inproceedings{HaB03,
  author =       "Rachid Hamadi and Boualem Benatallah",
  title =        "A {{P}etri} Net-based Model for Web Service Composition",
  booktitle =    "Fourteenth Australasian Database Conference
                 (ADC2003)",
  editor =       "Klaus-Dieter Schewe and Xiaofang Zhou",
  series =       "CRPIT",
  address =      "Adelaide, Australia",
  publisher =    "ACS",
  volume =       "17",
  pages =        "191-200",
  year =         "2003",
}

@article{Hal2001,
	author =	"A. Y. Halevy",
	title =		"Answering queries using views: A survey",
	booktitle =	"The VLDB Journal",
	year = 		"2001",
	volume= 	"10",
	number= 	"4",
}



@inproceedings{HaT06,
  author    = {Sven Hartmann and
               Thu Trinh},
  title     = {Axiomatising Functional Dependencies for {XML} with Frequencies.},
  booktitle = {FoIKS},
  year      = {2006},
  pages     = {159-178},
  OPTee        = {http://dx.doi.org/10.1007/11663881_10},
  OPTcrossref  = {DBLP:conf/foiks/2006},
  OPTbibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{HaW93,
	author =	"E. N. Hanson and J. Widom",
	title =		"An overview of production rules in database systems",
	journal =	"The Knowledge Engineering Review",
	year = 		"1993",
	volume = 	"8",
	number= 	"2",
}


@inProceedings{HBCS03,
  author =       "Richard Hull and Michael Benedikt and Vassilis
                 Christophides and Jianwen Su",
  title =        "{E}-services: a look behind the curtain",
  OPTeditor =       "{ACM}",
 OPTbooktitle =    "Proceedings of the Twenty-Second {ACM} {SIGMOD-SIGACT-SIGART} Symposium on Principles of Database Systems: {PODS} 2003: San Diego, Calif., June  9--11, 2003",
 booktitle = PODS,
 publisher =    "ACM Press",
 OPTaddress =      "New York, NY 10036, USA",
 OPTISBN =         "1-58113-670-6",
 pages =        "1-14",
  year =         "2003",
 OPTbibdate =      "Fri Oct 31 08:02:47 MST 2003",
 OPTacknowledgement = ack-nhfb,
}


@inproceedings{Heg87,
	author =	"S. Henger",
	title =		"Specification  and implementation of programs for updating incomplete  information databases",
	booktitle =	PODS,
	year = 		"1987",
    publisher = {ACM Press},
}


@phdthesis{Her97,
	author =	"L. Herr",
	title = 	"Languages de requ\^etes pour bases de données temporelles", 
	school = 	"Universit\'e de Paris-Sud",
	year = 		"1997",
}



@phdthesis{HFA96,
	author =	"M�rian {Halfeld-Ferrari}",
	title = 	"R\`egles pour les mises \`a jour des bases de donn\'ees d\'eductives", 
	school = 	"LRI, Universit\'e de Paris-Sud",
	year = 		"1996",
}


@PHDTHESIS{HFA07,
  AUTHOR = 	"M�rian {Halfeld-Ferrari}",
  TITLE = {Les aspects dynamiques de {XML} et les services web},
  SCHOOL = {Universit� Fran�ois Rabelais de  Tours},
  YEAR = {2007},
  INSTITUTION = {LI},
  OPTKEY = {},
  TYPE = {Habilitation � diriger des recherches},
  OPTADDRESS = {},
  OPTMONTH = {},
  NOTE = {In preparation},
  ANNOTE = {In French}
}



@techreport{HKL95,
	author =	"{Halfeld-Ferrari}, M. and S. Kekkonen and D. Laurent and N. Spyratos",
	title =		"Alternating fixpoinnt and extended {D}atalog$^{neg}$ databases",
	year = 		"1995",
	institution =	"LRI - Universit\'e de Paris-Sud",
	number = 	"1004",
}


@inproceedings{HKL95a,
	author =	"{Halfeld-Ferrari}, M. and S. Kekkonen  and  D. Laurent and N. Spyratos",
	title =		"Point fixe altern\'e et bases de donn\'ees Datalog$^{neg}$",
	booktitle =	"Actes des V-\`emes Journ\'ees Francophones de Programmation en Logique et Contraites (JFPLC'96)",
	year = 		"1996",
}



%*************************
% The same article but with to different references.

% For old papers:
@techreport{HLS94a,
	author =	"{Halfeld-Ferrari}, M. and  D. Laurent and N. Spyratos",
	title =		"Passive And Active Rules In Deductive Databases",
	year = 		"1995",
	institution =	"LRI - Universit\'e de Paris-Sud",
	number = 	"968",
}


% For new papers:

@techreport{HLS95c,
	author =	"{Halfeld-Ferrari}, M. and  D. Laurent and N. Spyratos",
	title =		"Passive And Active Rules In Deductive Databases",
	year = 		"1995",
	institution =	"LRI - Universit\'e de Paris-Sud",
	number = 	"968",
}


%*************************

@techreport{HLS94b,
	author =	"{Halfeld-Ferrari}, M. and  D. Laurent and N. Spyratos",
	title =		"Update Driven Rules in {D}atalog$^{neg}$ databases",
	year = 		"1994",
	institution =	"LIFO, Universit\'e d'Orl\'eans",
	number = 	"94-06",
}

@inproceedings{HLS94c,
	author =	"{Halfeld-Ferrari}, M. and  D. Laurent and N. Spyratos",	
	title =		"Passive And Active Rules In Deductive Databases " ,
	booktitle =	{MFCS},
	publisher= 	"Springer-Verlag",
	series= 	 LNCS,
	number=		"841",
	year = 		"1994",
}



@unpublished{HLS95,
	author =	"{Halfeld-Ferrari}, M. and  D. Laurent and N. Spyratos",
	title =		"Update Rules in {D}atalog Programs",
	note =		"Technical Report LRI, Universit\'e de Paris-Sud",
	year = 		"1995",
}

@inproceedings{HLS95a,
	author =	"{Halfeld-Ferrari}, M. and  D. Laurent and N. Spyratos",	
	title =		"Update Rules in {D}atalog Programs",
	booktitle =	"Third Logic Programming and Non-Monotonic Reasoning Conference, Lexington, KY, USA",
	publisher= 	"Springer-Verlag",
	series= 	 LNAI,
	number=		"928",
	year = 		"1995",
}



@inproceedings{HLS95b,
	author =	"{Halfeld-Ferrari}, M. and  D. Laurent and N. Spyratos",
	title =		"R\`egles de mise \`a jour et  programmes {D}atalog$^{neg}$",
	booktitle =	"Actes des IV-\`emes Journ\'ees Francophones de Programmation en Logique (JFPL'95)",
	year = 		"1995",
}


@inproceedings{HLS95d,
	author =	"{Halfeld-Ferrari}, M. and  D. Laurent and N. Spyratos",
	title =		"Update Transactions for Deductive Databases with Update Rules",
	booktitle =	"Proceedings of the X Brazilian Symposium on Database System - SBBD-95",
	year = 		"1995",
}

@techreport{HLS95e,
	author =	"{Halfeld-Ferrari}, M. and  D. Laurent and D. Stamate and N. Spyratos",
	title =		"Update Rules and Revision Programs",
	year = 		"1995",
	institution =	"LRI - Universit\'e de Paris-Sud",
	number = 	"1010",
}

@inproceedings{HLS96a,
	author =	"{Halfeld-Ferrari}, M. and  D. Laurent and D. Stamate and N. Spyratos",	
	title =		"A Class of active database constraints " ,
	booktitle =	"Proceedings of the twenty-first International Conference on Information Technologies and Programming, Bulgaria",
	year = 		"1996",
}

@article{HLS98,
  author    = {Mirian {Halfeld-Ferrari} and
               Dominique Laurent and
               Nicolas Spyratos},
  title     = {Update Rules in Datalog Programs.},
  journal   = {J. Log. Comput.},
  volume    = {8},
  number    = {6},
  year      = {1998},
  pages     = {745-775},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}



@article{Hoa83,
	author =	"C. A. R. Hoare",
	title =		"Communicating Sequential Process",
	journal =	"Communication of the ACM",
	year = 		"1983",
	volume = 	"26",
	number= 	"1",
}


@inproceedings{HoM2002,
	author =	"H. Hosoya and M. Murata",
	title =		"Validation and Boolean Operations of attribute-element constraints" ,
	booktitle =	"Programming Languages Technologies for {XML}, PLAN-X",
	year = 		"2002",
}

@book{HoU79,
	author =	"Hopcroft and Ullman",
	title =		"Introduction to Automata Theory Languages and Computation",
	year = 		"1979",
	publisher = 	"Addison-Wesley Publishing Company",
}


@book{HMU2001,
	author =	"J. E. Hopcroft and R. Motwani and J. D. Ullman",
	title =		"Introduction to Automata Theory Languages and Computation",
	year = 		"2001",
	publisher = 	"Addison-Wesley Publishing Company",
	edition =	"second",
}


@inproceedings{Huy97,
	author =	"N. Huyn",
	title =		"Multiple-View Self-Maintenance in Data Warehousing Environments",
	booktitle =	VLDB,
	year = 		"1997",
}





@article{Imm86,
	author =	"N. Immerman",
	title =		"Relational queries computable in polynomial time",
	journal =	"Information and Control",
	year = 		"1986",
	volume = 	"68",
}



@inproceedings{JaS82,
	author =	"G. Jaeschke and H. -J Schek",
	title =		"Remarks on the algebra on non first normal form relations",
	booktitle =	PODS,
	year = 		"1982",
    publisher = {ACM Press},
}



@inproceedings{JBNVB04,
  author    = {Geert {Jan Bex} and
               Frank Neven and
               Jan {Van den Bussche}},
  title     = {DTDs versus XML Schema: A Practical Study.},
  booktitle = {WebDB},
  year      = {2004},
  pages     = {79-84},
  OPTee        = {http://webdb2004.cs.columbia.edu/papers/6-1.pdf},
  OPTcrossref  = {DBLP:conf/webdb/2004},
  OPTbibsource = {DBLP, http://dblp.uni-trier.de}
}

@phdthesis{Jon94,
	author = 	"C. Jonker",
	title = 	"Constraints and negations in logic programming",
	school = 	"Ultrecht University",
	year = 		"1994",
	address=	"Department of Phylosophy",
}





@inproceedings{JMS95,
	author =	"H. V. Jagadish and I. S. Mumick and A. Silberschatz",
	title =		"View maintenance issues for the chronicle data model",
	booktitle =	PODS,
	year = 		"1995",
	pages = 	"113-124",
    publisher = {ACM Press},
}





@inproceedings{KaM89,
	author =	"H. Katsuno and A. Mendelzon",
	title =		"A Unified view of propositional knowledge base updates",
	booktitle =	"Proceedings of the Eleventh International Joint Conference of Artificial Intelligence",
	year = 		"1989",
}

@inproceedings{KaM90,
	author =	"T. Kakas and P. Mancarella",
	title =		"Updates through abduction",
	booktitle =	VLDB,
	year = 		"1990",
}

@inproceedings{KaM91,
	author =	"H. Katsuno and A. Mendelzon",
	title =		"On the difference between updating a knowledge base and revising it",
	booktitle =	"Proceedings of the second International Conference on Principles of  Knowledge Representation and Reasoning",
	year = 		"1991",
}

@inproceedings{KaP06,
  author    = {Raman Kazhamiakin and
               Marco Pistore},
  title     = {Static Verification of Control and Data inWeb Service Compositions.},
  booktitle = {ICWS},
  year      = {2006},
  pages     = {83-90},
  OPTee        = {http://doi.ieeecomputersociety.org/10.1109/ICWS.2006.124},
  OPTcrossref  = {DBLP:conf/icws/2006},
  OPTbibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{KeW85,
	author =	"A. M. Keller and M. Winslett",
	title =		"On the use of an extended relational model to handle changing incomplete information",
	journal =	"Transactions on Software Engineering",
	year = 		"1985",
	volume = 	"11",
	number= 	"7",
}




@article{KiL92,
	author =	"M. Kifer and E. L. Lozinski",
	title =		"A Logic for Reasoning with Inconsistency",
	journal =	"Journal of Automated Reasoning",
	year = 		"1992",
	volume = 	"9",
}






@techreport{Kil99,
   author= 		"P. Kilpelainen",
   title=		"{SGML} and {XML} Content Models",
   institution =	"Department of Computer Science - University of Helsinki",
   year=		"1999"
}


@inproceedings{Kle65,
        author =        "S. Kleene",
        title =         "Representation of events in nerve nets and finite automata.",
        booktitle =     "Automata Studies",
        year =          "1965",
        pages =         "3-42",
  		editor="C. Shannon and J. McCarthy"
}


@inproceedings{KLP00,
 	author = "E. Kuikka and P. Leinonen and M. Penttonen",
  	title = "An approach to document structure transformations",
  	booktitle = "Proceedings of Conference on Software: Theory and Practice,16'th {IFIP} World Computer Congress",
	editor =  {Yulin Feng, David Notkin, Marie-Claude Gaudel},
  	year = "2000",
	pages=  "906-913 ",
  }



@inproceedings{KLP02, 
 author = {Eila Kuikka and Paula Leinonen and Martti Penttonen},
 title = {Towards automating of document structure transformations},
 booktitle = {DocEng'02: Proceedings of the 2002 ACM symposium on Document engineering},
 year = {2002},
 OPTisbn = {1-58113-594-7},
 pages = {103-110},
 location = {McLean, Virginia, USA},
 OPTdoi = {http://doi.acm.org/10.1145/585058.585078},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }




@inproceedings{KLV00,
  author = "George Karakostas and Richard J. Lipton and Anastasios Viglas", 
  title = "On the Complexity of Intersecting Finite State Automata", 
  booktitle = "IEEE Conference on Computational Complexity",
 year="2000"
}


@article{Klu82,
	author =	"A. Klug",
	title =		"Equivalence of relational algebra and relational calculus query languages having aggregate funcitions",
	journal =	"Journal of ACM",
	year = 		"1982",
	volume = 	"29",
	number= 	"3",
}


@book{Knu75,
	author =	"D. E. Knuth",
	title =		"The Art of Computer Programming",
	year = 		"1975",
	publisher = 	"McGraw-Hill",
}

@article{Kon88,
	author =	"K. Konolige",
	title =		"On the relation between default and autoepistemisc logic",
	journal =	"Artificial Inteligence",
	year = 		"1988",
	volume = 	"35",
	note =		"(Errata, volume 41, 1989/90)",
}


@inproceedings{KoS90,
	author =	"R. A. Kowalski and F. Sadri",
	title =		"Logic Programs with Exceptions",
	booktitle =	"Proceedings of the Seventh International Conference of Logic Programming",
	year = 		"1990",
}



@book{KoS93,
	author =	"H. F. Korth and A. Silberschatz",
	title =		"Sistemas de banco de dados",
	year = 		"1993",
	publisher = 	"Makron Books",
	edition= 	"Second",
}

@article{Kov90,
	author =	" P.G. Kolaitis and  M. Y. Vardi",
	title =		"0-1 Laws and decision problems for fragments of second-order logic",
	journal =	"Information and Computation",
	year = 		"1990",
	volume= 	"87"
}





@article{Kow74,
	author =	"R. A. Kowalski",
	title =		"Predicate logic programming language",
	journal =	"Information Processing",
	year = 		"1974",
}


@book{Kow79a,
	author =	"R. A. Kowalski",
	title =		"Logic for problem solving",
	year = 		"1979",
	publisher = 	"North Holland",
}

@article{Kow79b,
	author =	"R. A. Kowaslski",
	title =		" Algorithm = Logic + Control ",
	journal =	"Communication of the ACM",
	year = 		"1979",
	volume = 	"22",
	number= 	"7",
}

@inproceedings{KS03,
  author    = "C. Koch and S. Scherzinger",
  title     = "Attribute Grammars for Scalable Query Processing on {XML} Streams",
  booktitle = DBPL,
  year      = "2003",
  pages     = "233-256",

}

@inproceedings{KSR02,
      author = "Bintou Kane and Hong Su and Elke A. Rundensteiner",
      title  = "Consistently Updating {XML} Documents using Incremental Constraint Check Queries",
      year   = "2002",
      booktitle = "Fourth {ACM} {CIKM} {International} Workshop on Web Information and Data Management (WIDM 2002)",
      publisher = {ACM},
}


@inproceedings{KSS03,
      author = "Nils Kalrlund and  Thomas Schwentick and Dan Suciu",
      title  = "{XML}: Model, Schemas, Types, Logics and Queries",
      year   = "2003",
      publisher = {XML Research survey (draft version), revised version to appear in Logics of emerging applications of databases, Eds. J. Chomicki, G. Saake, and R. van der Meyden, 
				Springer Verlag},
}


@article{Kun87,
	author =	"K. Kunen",
	title =		"Negation in Logic Programming",
	journal =	"Journal of Logic Programming",
	year = 		"1987",
	volume = 	"4",
}


@article{Lak94,
	author =	"V. S. Lakshmanan",
	title =		"On three-valued autoepistemic reasonnig and semantics of logic programs",
	journal =	"Methods in  Logic Programs",
	year = 		"1994",
	volume =	"1",
}


@book{LaR93,
	author =	"R. Lassaigne and M. Rougemont",
	title =		"Logique et fondements de l'informatique",
	year = 		"1993",
	publisher = 	"Editions Herm\`es",
}


@book{LaR96,
	author =	"R. Lassaigne and M. Rougemont",
	title =		"Logique et fondements de l'informatique",
	year = 		"1996",
	publisher = 	"Editions Herm\`es",
}



@article{LaS94,
	author =	"D. Laurent and N. Spyratos",
	title =		" A Partition Approach To Updating Universal Scheme Interfaces",
	journal =	"IEEE Transactions on Knowledge and Data Engineering",
	year = 		"1994",
	volume = 	"6",
	number= 	"3",
}

@inproceedings{Lec03,
	author =	"J. Lechtenborger",
	title =		"The Impact of constant complement approach towards view updating",
	booktitle =	 PODS,
	year = 		"2003",
    publisher = {ACM Press},
}


@book{LeL99,
	author =	"M. Levene and G. Loizou",
	title =		"A guided tour of relational databases and beyond",
	year = 		"1999",
	publisher = 	"Springer-Verlag",
}

@inproceedings{LeR96,
	author =	"A. Levy and M-C. Rousset",
	title =		"Verification of knowledge based on containment checking",
	booktitle =	"Proceedings of the  Conference on Artificial Intelligence (AAAI)",
	year = 		"1996",
}

@article{LaRa08,
	author =	"Jean-Denis Lesage and Bruno Raffin ",
	title =		" A hierarchical component model for large parallel interactive applications",
	journal =	"The Journal of Supercomputing",
	year = 		"2008",
	month=  	"July",
	publisher = 	"Springer-Verlag",
}



@inproceedings{LeS88,
	author =	"Ch. L\'ecluse and N. Spyratos",
	title =		"Implementing Queries And Updates On Universal Scheme Interfaces",
	booktitle =	VLDB,
	year = 		"1988",
}

@techreport{LeS90,
	author =	"S. K. Lellahi and N. Spyratos",
	title =		" Towards a categorical data model supporting structured objets and inheritance",
	year = 		"1990",
	institution =	"LRI, Universit\'e Paris-Sud",
	number =	"410",
}

@techreport{LeS92,
	author =	"S. K. Lellahi and N. Spyratos",
	title =		"A graph-based data model: query language and semantics",
	year = 		"1992",
	institution =	"LRI, Universit\'e Paris-Sud",
	number =	"742",
}

@techreport{Lev87,
	author =	"H. J. Levesque",
	title =		"All {I} know: preliminary report",
	year = 		"1987",
	institution =	"University of Toronto, Dept. Comput. Sci. Tech. Rep.",
}


@book{Lib04,
	author =	"L. Libkin",
	title =		"Elements of Finite Model Theory",
	year = 		"2004",
	publisher = 	"Springer-Verlag",
}

@article{Lib06,
	author =	"L. Libkin",
	title =		"Logics over unranked trees: an overview",
	journal =	"Logical Methods in Computer Science",
	year = 		"2006",
	volume = 	"2",
}



@article{Lif85a,
	author =	"V. Lifschitz",
	title =		"Closed-World Databases and Circumscription",
	journal =	"Artificial Intelligence",
	year = 		"1985",
	volume = 	"27",
}

@inproceedings{Lif85b,
	author =	"V. Lifschitz",
	title =		"Computing Circumscription",
	booktitle =	"Proceedings International Joint Conference in Artificial Intelligence",
	year = 		"1985",
}

@incollection{Lif88,
	author = 	"V. Lifschitz",
	title = 	"On the declarative semantics of logic programs with negation",
	booktitle = 	"Foundations of Deductive Databases and Logic Programming",
	publisher = 	"Morgan Kaufmann Publishers",
	year =		"1988",
	editor = 	"J. Minker",
}
	
@incollection{Lif90,
	author = 	"V. Lifschitz",
	title = 	"On open defaults",
	booktitle = 	"Computational Logic",
	publisher = 	"Springer-Verlag",
	year =		"1990",
	editor = 	"J. Lloyd",
	note= 		"Symposium proceedings, ESPRIT Basic Research Series, Berlin",
}


@PHDTHESIS{Lim05,
  AUTHOR = {S. Limet},
  TITLE = {Repr�sentation des langages de n-uplets d'arbres par des programmes logiques et applications },
  SCHOOL = {Universit\'e d'Orl\'eans},
  YEAR = {2005},
  INSTITUTION = {LIFO},
  OPTKEY = {},
  TYPE = {Habilitation � diriger des recherches},
  OPTADDRESS = {},
  OPTMONTH = {},
  NOTE = {RR-2005-05},
  ANNOTE = {In French}
}


@phdthesis{Lim07,
	author = 	"Maria-Adriana Lima",
	title = 	"Contraites d'int�grit� en XML",
	school = 	"LI, Universit\'e Fran�ois Rabelais de Tours  (In preparation)",
	year = 		"2007",
}


@article{LiS05,
author =      {S. Limet and G. Salzer},
title={Tree Tuple Languages from the Logic Programming Point of View},
year={2006},
journal={Journal of Automated Reasoning},
pages={323-349},
volume=37,
number=4,
month=nov,
url={http://dx.doi.org/10.1007/s10817-006-9064-8},
OPTissn={0168-7433 (Print), 1573-0670 (Online)}
} 

@article{LiS87,
	author =	"U. W. Lipeck and G. Saake",
	title =		"Monitoring Dynamic Integrity Constraints Based on Temporal Logic",
	journal =	"Information Systems",
	volume = 	"12",
	year = 		"1987",
	pages= 		"255-269",
}

@inproceedings{ LLL02,
    author = "Mong-Li Lee and Tok Wang Ling and Wai Lup Low",
    title = "Designing Functional Dependencies for {XML}",
    booktitle = "Extending Database Technology (EDBT)",
    pages = "124-141",
    year = "2002",
    url = "citeseer.ist.psu.edu/article/lee02designing.html" 
}



@book{Llo87,
	author =	"J. W. Lloyd",
	title =		"Foundations of Logic Programming",
	year = 		"1987",
	publisher = 	"Springer-Verlag",
	edition= 	"Second extended",
}



@inproceedings{LLSV99,
	author =	"D. Laurent and J. Lechtenborger and N. Spyratos and G. Vossen",
	title =		"Complements for Data Warehouses",
	booktitle =	"15th IEEE ICDE",
	year = 		"1999",
	address = 	"Australia",
}


@article{LLSV01,
	author =	"D. Laurent and J. Lechtenborger and N. Spyratos and G. Vossen",
	title =		"Monotonic complements for independent data warehouses",
	journal =	"The VLDB Journal",
	year = 		"2001",
	volume= 	"10",
	number= 	"4",
}



@techreport{LMM00,
	author =	"D. Lee and M. Mani and M. Murata",
	title =		"Reasoning about {XML} schema Languages using Formal Language Theory",
	year = 		"2000",
	institution =	"IBM Almaden Research",
}


@article{LPR95,
	author =	"N. Leone and L. Palapoli and M. Romeo",
	title =		"A language for updating logic programs and its implementation",
	journal =	"The Journal of Logic Programming",
	volume = 	"23",
	number= 	"1",
	year = 		"1995",
}


@techreport{LPS92,
	author =	"D. Laurent and {Phan Luong}, V. and N. Spyratos",
	title =		"The use of deleted tuples in database querying and updating",
	year = 		"1992",
	institution =	"LRI, Universit\'e Paris-Sud",
	number =	"757",
	month =		"June",
}

@techreport{LPS92a,
	author =	"D. Laurent and {Phan Luong}, V. and N. Spyratos",
	title =		"Updating Intensional Predicates In Deductive Databases",
	year = 		"1992",
	institution =	"LRI, Universit\'e Paris-Sud",
	number =	"778",
	month =		"Octobre",
}

@inproceedings{LPS93a,
	author =	"D. Laurent and {Phan Luong}, V. and N. Spyratos",
	title =		"Updating Intensional Predicates In Deductive Databases",
	booktitle =	"Nineth IEEE ICDE",
	year = 		"1993",
	address = 	"Vienna (Austria)",
}

@inproceedings{LPS93b,
	author =	"D. Laurent and {Phan Luong}, V. and N. Spyratos",
	title =		"Database Updating Revisited",
	booktitle =	"Third  DOOD, International Conference  on Deductive and Object-Oriented Databases", 
	year = 		"1993",
	publisher = 	"Springer-Verlag",
	series= 	LNCS,
	number= 	"760",
}

@techreport{LPS93c,
	author =	"D. Laurent and {Phan Luong}, V. and N. Spyratos",
	title =		"Database updating revisited",
	year = 		"1993",
	institution =	"LIFO, Universit\'e d'Orl\'eans",
	number =	"93-4",
}



@techreport{LPS93d,
	author =	"D. Laurent and {Phan Luong}, V. and N. Spyratos",
	title =		"Transaction specification in marked databases",
	year = 		"1993",
	institution =	"LIFO, Universit\'e d'Orl\'eans",
	number =	"93-5",
}


@article{LPS95,
	author =	"D. Laurent and {Phan Luong}, V. and N. Spyratos",
	title =		"Une nouvelle approche des mises \`a jour des bases de donn\'ees",
	journal =	"Technique et science informatiques",
	volume= 	"14",
	number=		"3",
	year = 		"1995",
}



@inproceedings{LS88,
	author =	"D. Laurent and N. Spyratos",
	title =		"Introducing Negative information in relational databases",
	booktitle =	"Proc. on Mathematical Foundations of Computer Science",
	year = 		"1988",
	editor = 	"Springer-Verlag",
	series= 	LNCS,
	number= 	"324",

}


@article{LSS97,
	author =	"D. Laurent  and N. Spyratos  and D. Stamate",
	title =		"Deterministic Enforcement of Constraints (Invited paper)",
	journal =	"Special issue of the journal Programmirovanie",
	year = 		"1997",
}




@unpublished{Lud95,
	author =	"B. Ludascher",
	title =		"A tiny interpreter for Datalog$^{neg}$",
	note =		"Technical Report (unplublished)",
	year = 		"1995",
}

@inproceedings{Luk84,
	author =	"W. Lukaszewicz",
	title =		"Considerations on default logic",
	booktitle =	"Proceedings of  Non-Monotonic Reasoning Workshpo, New Paltz",
	year = 		"1984",
}


@article{Luk88,
	author =	"W. Lukaszewicz",
	title =		"Considerations on default logic - an alternative approach",
	journal =	"Computational Intelligence",
	volume = 	"4",
	year = 		"1988",
}


 @inproceedings{LVL03,
  author    = "J. Liu and M. W. Vincent and C. Liu",
  title     = "Functional Dependencies, from Relational to {XML}",
  booktitle = "Ershov Memorial Conference",
  year      = "2003",
  pages     = "531-538",
}

@inproceedings{MAC01,
  author = "A. Marian and S. Abiteboul and G. Cobena",
  title =  "Change-Centric Management of Versions in an {XML} Warehouse ",
  booktitle = VLDB,
  year =   "2001",
 }


@book{Mai83,
	author =	"D. Maier",
	title =		"The Theory of  Relational Databases",
	year = 		"1983",
	publisher = 	"Computer Science Press",
}


@inproceedings{Man93,
	author =	"R. Manthey",
	title =		"Beyond Data Dictionaries: Towards A Reflective Architecture Of Intelligent Database System",
	booktitle =	"Third  DOOD, International Conference on Deductive and Object-Oriented Databases", 
	year = 		"1993",
	publisher = 	"Springer-Verlag",
	series= 	LNCS,
	number= 	"760",

}




@inproceedings{Mar04,
 author = {Maarten Marx},
 title = {Conditional {XPath}, the first order complete XPath dialect},
 OPTbooktitle = {PODS'04: Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems},
 booktitle = PODS,
year = {2004},
 isbn = {158113858X},
 pages = {13-22},
 location = {Paris, France},
 doi = {http://doi.acm.org/10.1145/1055558.1055562},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }  


@article{MaR05,
 author = {Maarten Marx and Maarten de Rijke},
 title = {Semantic characterizations of navigational {XPath}},
 journal = {SIGMOD Rec.},
 volume = {34},
 number = {2},
 year = {2005},
 OPTissn = {0163-5808},
 pages = {41-46},
 doi = {http://doi.acm.org/10.1145/1083784.1083792},
 publisher = {ACM Press},
 OPTaddress = {New York, NY, USA},
 }



@incollection{MaW88,
	author = 	"S. Manchada and D. S. Warren",
	title = 	"Towards a logical theory of database view updates",
	booktitle = 	"Foundations of Deductive Databases and Logic Programming",
	publisher = 	"Morgan Kaufmann Publishers",
	year =		"1988",
	editor = 	"J. Minker",
}


@inproceedings{MaT89,
	author =	"V. W. Marek and M. Truszcy\'nski",
	title =		"Stable semantics for logic programs and defaut theories",
	year = 		"1989",
	booktitle =	"Proceedings of the North American Conference on Logic Programming",

}

@book{MaT93,
	author =	"V. W. Marek and M. Truszcy\'nski",
	title =		"Nonmonotoic Logic - Context Dependent Reasonning",
	year = 		"1993",
	publisher = 	"Springer Verlag",
}


@inproceedings{MaT94,
	author =	"V. W. Marek and M. Truszcy\'nski",
	title =		"Revision Specifications by Means of Revision Programs", 
	year = 		"1994",
	booktitle =	"JELIA'94",
	publisher = 	"Springer-Verlag",
	series= 	LNAI,

}


@inproceedings{MaT95,
	author =	"V. W. Marek and M. Truszcy\'nski",
	title =		"Revision Programming, Database Updates and Integrity Constraints", 
	year = 		"1995",
	booktitle =	"International Conference on Database Theory, ICDT",
	number= 	"893",
	publisher = 	"Springer-Verlag",
	series= 	LNCS,

}


@inproceedings{Maz87,
	author =	"Antoni Mazurkiewicz",
	title =		"Trace Theory",
	year = 		"1987",
	booktitle =	" ",
	publisher= 	"Springer-Verlag",
	series= 	 LNCS,
	number=		"255"
}



@incollection{Maz95,
	author =	"Antoni Mazurkiewicz",
	title = "Introduction to Trace Theory",
 	editor = {Volker Diekert  and Grzegorz Rozenberg},
	booktitle =		"The Book of Traces",
	year = 		"1995",
	publisher = 	"World Scientific",
	
}

@incollection{HoR95,
	author =	"Hendrik Jan Hoogeboom and Grzegorz Rozenberg",
	title = "Dependence Graphs",
 	editor = {Volker Diekert  and Grzegorz Rozenberg},
	booktitle =		"The Book of Traces",
	year = 		"1995",
	publisher = 	"World Scientific",
	
}


@book{GrR95,
 author = {Volker Diekert},
 editor = {Grzegorz Rozenberg},
 title = {The  Book of Traces},
 year = {1995},
 isbn = {9810220588},
 publisher = {World Scientific Publishing Co., Inc.},
 address = {River Edge, NJ, USA},
 }


@inproceedings{MBR06,
  author    = {Tarek Melliti and
               Celine Boutrous-Saab and
               Sylvain Rampacek},
  title     = {Verifying Correctness of Web Services Choreography.},
  booktitle = {ECOWS},
  year      = {2006},
  pages     = {306-318},
  OPTee        = {http://doi.ieeecomputersociety.org/10.1109/ECOWS.2006.38},
  OPTcrossref  = {DBLP:conf/ecows/2006},
  OPTbibsource = {DBLP, http://dblp.uni-trier.de}
}


@article{McC80,
	author =	"J. McCarthy",
	title =		"Circumscription - a form of non-monotonic reasoning",
	journal =	"Artificial Intelligence",
	year = 		"1980",
	volume = 	"13",
}

@article{McC86,
	author =	"J. McCarthy",
	title =		"Applications of Circumscription to formalizing common-sense knowledge",
	journal =	"Artificial Intelligence",
	year = 		"1986",
	volume = 	"28",
}


@article{McD80,
	author =	"D. McDermott and J. Doyle",
	title =		"Non-monotonic logic {I}",
	journal =	"Artificial Intelligence",
	year = 		"1980",
	volume = 	"25",
}

 
@article{McD82,
	author =	"D. McDermott",
	title =		"Non-monotonic logic {II}: non-monotonic modal theories",
	journal =	"Journal of ACM",
	year = 		"1982",
	volume = 	"29",
}

@article{MeB00,
 author = {Bruno T. Messmer and Horst Bunke},
 title = {Efficient Subgraph Isomorphism Detection: A Decomposition Approach},
 journal = {IEEE Transactions on Knowledge and Data Engineering},
 volume = {12},
 number = {2},
 year = {2000},
 OPTissn = {1041-4347},
 pages = {307--323},
 OPTdoi = {http://dx.doi.org/10.1109/69.842269},
 publisher = {IEEE Educational Activities Department},
 OPTaddress = {Piscataway, NJ, USA},
}

@book{MeB02,
       author =       "W. S. Means and M. A. Bodie",
       title =        "The Book of SAX: The Simple API for XML",
       publisher =    "No Starch Press",
       year =         "2002",
     }

@article{MeB03,
	author =	"L.G. Meredith and S. Bjorg",
	title =		"Contracts and Types",
	journal =	"Communications of the ACM",
	year = 		"2003",
	volume = 	"46",
	number =  	"10",
	pages =  "41-47",

}


@inproceedings{MeR86,
	author =	"A. Meyer and M. Reynolds",
	title =		"Type is not a type",
	booktitle =	"Proceedings of Programming Languages",
	year = 		"1986",
}

@book{Mey88,
	author =	"A. Meyer",
	title =		"Object-Oriented Software Construcution",
	year = 		"1988",
	publisher = 	"Computer Science, Prentice Hall",
}

@article{MiM04,
 author = {Nikola Milanovic and Miroslaw Malek},
 title = {Current Solutions for Web Service Composition},
 journal = {IEEE Internet Computing},
 volume = {8},
 number = {6},
 year = {2004},
 issn = {1089-7801},
 pages = {51-59},
 doi = {http://dx.doi.org/10.1109/MIC.2004.58},
 publisher = {IEEE Educational Activities Department},
 address = {Piscataway, NJ, USA},
 }


@techreport{Min74,
	author =	"M. Minsky",
	title =		"A framework for representing knowledge",
	year = 		"1974",
	institution =	"MIT - Artificial Intelligence Laboratory",
	number =	"AIM-306",
}

@incollection{Min81,
	author = 	"M. Minsky",
	title = 	"A framework for representing knowledge",
	booktitle = 	"Mind Design",
	publisher = 	"MIT Press",
	year =		"1981",
	editor = 	"J. Haugeland",
}


@inproceedings{Min82,
	author =	"J. Minker",
	title =		"On indefinite databases and the closed-word assumption",
	booktitle =	"Proceedings of Sixth Conference on Automated Deduction",
	year = 		"1982",
	publisher = 	"Springer-Verlag (D. Loveland, ed.)",

}


@book{Min88,
	editor =	"J. Minker",
	title =		"Foundations of Deductive Databases and Logic Programming",
	year = 		"1988",
	publisher = 	"Morgan Kaufmann Publishers",
}


@article{Min93,
	author =	"J. Minker",
	title =		"An overview of nonmonotonic reasoning and logic programming",
	journal =	"The Journal of Logic Programming",
	year = 		"1993",
	volume = 	"17",
	number = 	"2, 3 and 4",
}



@article{MLM03,
 author = {Makoto Murata and Dongwon Lee and Murali Mani and Kohsuke Kawaguchi},
 title = {Taxonomy of {XML} schema languages using formal language theory},
 journal = {ACM Trans. Inter. Tech.},
 volume = {5},
 number = {4},
 year = {2005},
 OPTissn = {1533-5399},
 pages = {660-704},
 OPTdoi = {http://doi.acm.org/10.1145/1111627.1111631},
 publisher = {ACM Press},
 Taddress = {New York, NY, USA},
 }


@inproceedings{MLM01,
   author="M. Murata and D. Lee and M. Mani",
   title="Taxonomy of {XML} Schema Language using Formal Language Theory",
   booktitle="Extreme Markup Language, Montreal, Canada",
   year="2001"
}


@inproceedings{MSV00,
   author=		"T. Milo and  D. Suciu and V. Vianu",
   title=		"Typechecking for {XML} Transformers",
   booktitle=	PODS,
   year=		"2000",
	pages= 		"11-22",
    publisher = {ACM Press},
}



@article{MoK2000,
	author =	"M. Mohania and Y. Kambayashi ",
	title =		"Making Aggregate Views Self-Maintainable",
	journal =	"Journal of Data and Knowledge Engineering",
	year = 		"2000",
	volume = 	"32",
	number= 	"1",
}



@article{Moo85,
	author =	"R. Moore",
	title =		"Semantical Considerations on Nonmonotonic Logic",
	journal =	"Artificial Intelligence",
	year = 		"1985",
	volume = 	"25",
}

@incollection{Moo88,
	author = 	"R. Moore",
	title = 	"Autoepistemic Logic",
	booktitle = 	"Non-Standard Logics for Automated Reasoning",
	publisher = 	"Academic Press",
	year =		"1988",
	editor = 	"P. Smets and E. H. Mamdani and D. Dubois and H. Prade",
}



@Book{Mos92,
        AUTHOR = {Peter D. Mosses},
     PUBLISHER = {Cambridge University Press},
         TITLE = {Action Semantics},
    number = 26,
    series = "Cambridge Tracts in Theoretical Computer Science",
          YEAR = {1992},
}



@article{Mor68,
	author =	"D. Morrison",
	title =		"{PATRICIA} - Pratical algorithm to receive information coded in alphanumeric",
	journal =	"Journal of ACM",
	year = 		"1968",
	volume = 	"15",
}


@article{MUV84,
	author =	"D. Maier and J. D. Ullman and M. Y. Vardi",
	title =		"On The Foundations Of Universal Relation Model",
	journal =	"ACM Transactions on Database Systems",
	year = 		"1984",
	volume = 	"9",
	number =	"2"
}



@inproceedings{Mur01,
   author="M. Murata",
   title="Extended Path Expressions for {XML}",
   booktitle="PODS",
   year="2001",
    publisher = {ACM Press},
}



@InProceedings{Mus99,
  author = 		 {Martin A. Musicante},
  title = 		 {Formal Semantics of Interleaving},
  booktitle = 	 {SBLP 99 - Proceedings of the III Brazilian Symposium on Programming Languages},
  OPTcrossref =  {},
  OPTkey = 		 {},
  pages = 	 {139-154},
  year = 	 {1999},
  OPTeditor = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  OPTaddress = 	 {},
  OPTmonth = 	 {},
  OPTorganization = {},
  OPTpublisher = {Grafica da UFRGS},
  OPTnote = 	 {},
  OPTannote = 	 {}
}


@misc{Mus03,
	author =	"M. Musicante",
	title =		"{XFF}, a framework for the semantic manipulation of {XML}: general description",
	howpublished =	"Unpublished manuscript",
	year = 		"2003",
	
}

@Article{MuP06,
  author =     "M. Musicante and E. Potrich",
  title =      "Expressing Workflow Patterns for Web Services: The case of {PEWS}",
  abstract =   "PEWS is a language for the implementation of web service interfaces. PEWS programs can be used for the description of both individual and composed web   services. Individual web services can be built up from Java programs.   Composed web services are built from simpler services.   PEWS operators describe the allowed workflow of the web service, \ie  the \textit{order} in which the operations of the web service   will be executed.  In this paper we analyze  the expressiveness of PEWS programs. This is done   by the systematic evaluation of the language. Our evaluation is based on a   framework composed by workflow patterns. We also compare PEWS with other   interface description languages. This comparison is based on the workflow   behavior of the languages.  ",
  journal =    j-jucs,
  year =       "2006",
  volume =     "12",
  number =     "9",
  OPTpages =       "",
  month =      "september",
 }



@inproceedings{NAM97,
  author = "S. Nestorov and S. Abiteboul and R. Motwani",
  title =  "Inferring Structure in Semistructured Data",
  booktitle = "SIGMOD Record",
  year =   "1997",
 }

@phdthesis{Nev99,
	author = 	"F. Neven",
	title = 	"Design and Analysis of Query Languages for Structured Documents",
	school = 	"U. Limburg",
	year = 		"1999",
}



@inproceedings{Nev02a,
   author="F. Neven",
   title="On the Power of Walking for Querying Tree-Structured Data",
   booktitle=PODS,
   year="2002",
    publisher = {ACM Press},
}

@inproceedings{Nev02b,
   author="F. Neven",
   title="Automata, Logic and {XML}",
   booktitle= "CSL02 - Annual Conference of the European Association for Computer Science Logic (invited talk). Available in \texttt{http://alpha.uhasselt.be/~fneven/publs.html}",
   year="2002",
   ee= {http://alpha.uhasselt.be/~fneven/publs.html},
}


@article{Nev02c,
	author=		"F. Neven",
   	title=		"Automata theory for {XML} researchers",
   	journal= "Sigmod Record",
 	volume= 	"31",
	number= 	"3",
   year="2002"
}



@article{Nev05,
 author = {Frank Neven},
 title = {Attribute grammars for unranked trees as a query language for structured documents},
 journal = {J. Comput. Syst. Sci.},
 volume = {70},
 number = {2},
 year = {2005},
 OPTissn = {0022-0000},
 pages = {221--257},
 OPTdoi = {http://dx.doi.org/10.1016/j.jcss.2004.10.008},
 publisher = {Academic Press, Inc.},
 address = {Orlando, FL, USA},
 }

@inproceedings{NiY83,
	author =	"J.M. Nicolas and K. Yazdanian",
	title =		"An Outline Of  {BDGEN}: A Deductive {DBMS}",
	booktitle =	"Proceedings of IFIP",
	year = 		"1983",
}




@inproceedings{NiT96,
	author =	"D. Niwinsky and D. Toman",
	title =		"First-Order Queries over Temporal Databases Inexpressible in Temporal Logic",
	booktitle =	EDBT,
	year = 		"1996",
	pages= 		"307-324",
}



@article{Oflazer96,
   author = "K. Oflazer",
   title = "Error-tolerant {F}inite-state {R}ecognition with {A}pplications to {M}orphological {A}nalysis and {S}pelling {C}orrection",
   journal = "Computational Linguistics",
   year = "1996",
   volume="22(1)",
   pages="73-89",
}


@article{OOM87,
	author =	"G. Ozoyoglu and Z. M. Ozoyoglu and V. Matos",
	title =		"Extending relational algebra and relational calculus with set-valued attributes and aggregate functions",
	journal =	"Transactions on Databases Systems",
	year = 		"1987",
	volume = 	"12",
	number= 	"4",
}



@incollection{PaH00,
  author    = {R. Parekh and V. Honavar},
  editor    = {Robert Dale and H. L. Somers and Hermann Moisl},
  title     = {Automata Induction, Grammar Inference, and Language
               Acquisition},
  booktitle = {Handbook of Natural Language Processing},
  publisher = {Marcel Dekker, Inc.},
  year      = {2000},
  pages 	= {727-764},
  isbn      = {0824790006},
} 


@article{PaH01,
	author =	"R. Parekh and V. Honavar",
	title= 		"Learning {DFA} from simple examples.",
	journal =	"Machine Learning",
	year = 		"2001",
	volume = 	"44",
	number = 	"1/2",
}


@book{Pap94,
	author =	"C. H. Papadimitriou ",
	title =		"Computational Complexity",
	year = 		"1994",
	publisher = 	"Addison-Wesley Publishing Company",
}


@article{PaQ68,
	author =	"C. Pair and A. Quere",
	title =		"D\'efinition et \'etude des bilangages r\'eguliers",
	journal =	"Information and Control",
	year = 		"1968",
	volume= 	"13",
	number= 	"6",
}

@inproceedings{PaS92,
	author =	"C. H. Papadimitriou and M. Sideri",
	title =		"On finding extensions of default theories",
	booktitle =	"International Conference on Database Theory",
	publisher= 	"Springer-Verlag",
	series= 	 LNCS,
	number=		"646",
	year = 		"1992",
}


@inproceedings{PaV00,
   	author=		"Y. Papakonstantinou and V. Vianu",
   	title=		"{DTD} inference for views of {XML} data",
   	booktitle= 	PODS, 
   	year=		"2000",
	pages= 		"35-46",
    publisher = {ACM Press},	
   }



@inproceedings{PaV03,
   	author=		"Y. Papakonstantinou and V. Vianu",
   	title=		"Incremental  Validation of {XML} Documents",
   	booktitle= 	"Proceedings of the   International Conference on Database Theory (ICDT)", 
   	year=		"2003",
   }





@article{PeM86,
	author =	"D. Perlis and J. Minker",
	title =		"Completeness results for circumscription",
	journal =	"Artificial Intelligence",
	year = 		"1986",
	volume = 	"28",
}




@article{PAA93,
	author =	"L. Pereira and J. Apar\'{\i}cio and J.  Alferes  ",
	title =		"Non-monotonic reasoning with logic programming",
	journal =	"Journal of Logic Programming",
	year = 		"1993",
	volume = 	"17",
}


@inproceedings{PBBST04,
  author    = {Marco Pistore and
               Fabio Barbon and
               Piergiorgio Bertoli and
               Dmitry Shaparau and
               Paolo Traverso},
  title     = {Planning and Monitoring Web Service Composition.},
  booktitle = {AIMSA},
  year      = {2004},
  pages     = {106-115},
  OPTee        = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=3192{\&}spage=106},
  OPTcrossref  = {DBLP:conf/aimsa/2004},
  OPTbibsource = {DBLP, http://dblp.uni-trier.de}
}




@phdthesis{Pha93,
	author = 	"V. {Phan Loung}",
	title = 	"Une nouvelle approche des fonctions-fene^tre et des mises a` jour pour interfaces de type relation universelle",
	scholl = 	"LRI, Universit\'e Paris-Sud",
	year = 		"1993",
}


@inproceedings{PiV95,
	author =	"P. Picouet and V.  Vianu",
	title =		"Semantics and expressiveness issues in active databases",
	booktitle =	PODS,
	year = 		"1995",
	OPTaddress = 	"San Jose",
    publisher = {ACM Press},
}

  
  

@inproceedings{Prz88,
	author =	"T. C. Przymusinki",
	title =		"On the Relationship between logic programming and non-montonic reasoning",
	booktitle =	"The seventh National Conference of Artificial Intelligence",
	year = 		"1988",
	address = 	"Saint Paul, Minnesota",
}


@article{Prz90,
	author =	"T. C. Przymusinki",
	title =		"Well-founded semantics coincides with three-valued stable semantics",
	journal =	"Fundamenta Informaticae XIII",
	year = 		"1990",
}


@inproceedings{PrT95,
	author =	"T. C. Przymusinki and H. Turner",
	title =		"Updates by means of inferences rules",
	booktitle =	"Third Logic Programming and Non-Monotonic Reasoning Conference, Lexington, KY, USA",
	publisher= 	"Springer-Verlag",
	series= 	 LNAI,
	number=		"928",
	year = 		"1995",
}



@inproceedings{PTBM05,
  author    = {Marco Pistore and
               Paolo Traverso and
               Piergiorgio Bertoli and
               A. Marconi},
  title     = {Automated Synthesis of Composite BPEL4WS Web Services.},
  booktitle = {ICWS},
  year      = {2005},
  pages     = {293-301},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/ICWS.2005.27},
  crossref  = {icws05},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@proceedings{icws05,
  title     = {2005 IEEE International Conference on Web Services (ICWS
               2005), 11-15 July 2005, Orlando, FL, USA},
  booktitle = {ICWS},
  publisher = {IEEE Computer Society},
  year      = {2005},
  isbn      = {0-7695-2409-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@inproceedings{QGMW96,
	author =	"D. Quass and  A. Gupta and I. S. Mumick and J. Widom",
	title =		"Making Views Self-Maintainable for Data Warehousing",
	booktitle =	"Proceedings of the 4th International Conference on Parallel and Distributed Information System",
	year = 		"1996",
}


@article{RABD00,
    author = "J. Roddick and L. Al-Jadir and L. Bertossi and M. Dumas and F. Estrella and H. Gregersen and K. Hornsby and J. Lufter and F. Mandreoli and T. M{\"a}nnist{\"o} and E. Mayol and L. Wedemeijer",
    title = "Evolution and Change in Data Management - Issues and Directions",
    journal = "SIGMOD Record",
    volume = "29",
    number = "1",
    pages = "21-25",
    year = "2000",
}

@inproceedings{RaS04,
  author    = {Mukund Raghavachari and
               Oded Shmueli},
  title     = {Efficient Schema-Based Revalidation of XML.},
  booktitle = {EDBT},
  year      = {2004},
  pages     = {639-657},
  OPTee        = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=2992{\&}spage=639},
  OPTcrossref  = {DBLP:conf/edbt/2004},
  OPTbibsource = {DBLP, http://dblp.uni-trier.de}
}




@article{RaU95,
	author =	"R. Ramakrishnan and J. D. Ullman",
	title =		"A Survey of Deductive Database Systems",
	journal =	"The Journal of Logic Programming",
	year = 		"1995",
}

@book{Ray01,
       author =       "E. T. Ray",
       title =        "Learning {XML}",
       publisher = 		"O'Reilly",
       year =         "2001",
     }




@book{Ram97,
	author =	"R. Ramakrishnan",
	title =		"Database management systems",
	year = 		"1997 (Revised Beta Edition)",
	publisher = 	"McGraw-Hill",
}


@inproceedings{RCC05,
Author = {P. Rety and  J. Chabin and  J. Chen},
title = "R-Unification thanks to Synchronized-ContextFree Languages",
booktitle = "19th Workshop on Unification (UNIF'2005)",
year = "2005"
}





@incollection{Rei78,
	author = 	"R. Reiter",
	title = 	"On closed word databases",
	booktitle = 	"Logic and data bases",
	publisher = 	"Plenum Press, New York",
	year =		"1978",
	editor = 	"H. Gallaire and J. Minker",
}

@article{Rei80,
	author =	"R. Reiter",
	title =		"A logic for default reasoning",
	journal =	"Artificial Intelligence",
	year = 		"1980",
	volume = 	"13",
}

@article{Rei80b,
	author =	"R. Reiter",
	title =		"Equality and domain closure in first order databases",
	journal =	"Journal of ACM",
	year = 		"1980",
	volume = 	"27",
}

@inproceedings{Rei82,
	author =	"R. Reiter",
	title =		"Circumscription implies predicate completion (sometimes)",
	booktitle =	"Proceedings Am. Assoc. AI Natl. Conf.",
	year = 		"1982",
}

@incollection{Rei84,
	author = 	"R. Reiter",
	title = 	"Towards a logical reconstruction of relational database theory",
	booktitle = 	"On Conceptual Modelling",
	publisher = 	"Springer Verlag",
	year =		"1984",
	editor = 	"M. L. Brodie, J. Mylopoulos, J. W. Schmidt",
}




@article{Rei87,
	author =	"R. Reiter",
	title =		"Nonmonotonic reasoning",
	journal =	"Annual Rev. Computer Science",
	year = 		"1987",
}


@article{Rob65,
	author =	"J. A. Robinson",
	title =		"A machine oriented logic based on the resolution principle",
	journal =	"Journal of ACM",
	year = 		"1965",
	volume = 	"12",
	number =	"1"
}

@inproceedings{Ros89,
	author =	"A. Ross",
	title =		"A procedural semantics for well founded negation in logic programs",
	booktitle =	PODS,
	year = 		"1989",
    publisher = {ACM Press},
}




@inproceedings{RoN89,
	author =	"F. Rossi and S. A. Naqvi",
	title =		"Contributions to the view update problem",
	booktitle =	"Proceedings of the sixth International Conference in Logic Programming",
	year = 		"1989",
}


@inproceedings{Rou03,
   author="M. {de} Rougemont",
   title="The correction of {XML} data",
   booktitle= "The First Franco-Japanese Workshop on Information, Search, Integration and   Personalization - ISIP",
   year="2003"
   }




@inproceedings{RSS90,
	author =	"R. Ramakrishnan and S. Sudarshan and D. Srivasta",
	title =		"Rule Ordering In The Bottom-Up Fixpoint Evaluation Of Logic Programs",
	booktitle =	VLDB,
	year = 		"1990",
}


@book{Rog67,
	author =	"H. Rogers",
	title =		"Theory of Recursive Functions and Effective Computability",
	year = 		"1967",
	publisher = 	"McGraw-Hill",
}

@inproceedings{Sat88,
	author =	"K. Satoh",
	title =		"Non-monotonic reasoning by minimal belief revision",
	booktitle =	"Proceeding of the International Conference on Fifth Generation Computer Systems",
	year = 		"1988",
}

@inproceedings{SBS04,
    author ={Gwen Sala\"un and Lucas Bordeaux and  Marco Schaerf},
    title = {Describing and Reasoning on Web Services using Process Algebra},
    booktitle =	"Proceeding of the 2nd International Conference on Web Services, IEEE",
    year = "2004",
}




@ARTICLE{SCZ04,
  author = "M. Solanki and A. Cau and H. Zedan",
  title = "Augmenting semantic web service descriptions with compositional specification.",
  Journal = "Proc. WWW, pp. 544-552. ACM",
  year = "2004",
}


@book{Sed90,
	author =	"R. Sedgewick",
	title =		"Algorithms in C",
	year = 		"1990",
	publisher = 	"Addison-Wesley Publishing Company",
}



@article{Selk77,
  author    = "S. M. Selkow",
  title     = "{The Tree-to-Tree Editing Problem}",
  journal   = "Information  Processing Letters",
  volume    = "6",
  number    = "6",
  year      = "1977",
  pages     = "184-186",
}



@inproceedings{SeV02,
   author="L. Segoufin and V. Vianu",
   title="Validating Streaming {XML} Documents",
   booktitle= 	PODS,
   year="2002",
    publisher = {ACM Press},
   }


@inproceedings{SHS04,
	author =	"G. M. Sur and J. Hammer and J. Sim�on",
	title =		"An {XQuery}-based language for processing updates in {XML}",
	booktitle =	"PLAN-X - Programming Language Technologies for XML
A workshop colocated with POPL 2004",
	year = 		"2004",
}



@incollection{She88,
	author = 	"J. C. Shepherdson",
	title = 	"Negation in Logic Programming",
	booktitle = 	"Foundations of Deductive Databases and Logic Programming",
	publisher = 	"Morgan Kaufmann Publishers",
	year =		"1988",
	editor = 	"J. Minker",
}

@inproceedings{Shv90,
	author =	"G. Shvarts",
	title =		"Autoepistemic modal logics",
	booktitle =	"Proceedings of Reasoning about Knowledge (TARK-90)",
	year = 		"1985",
	editor =	"Morgan-Kaufmann",
}

@article{SiC85,
	author =	"A. P. Sistla and E. M. Clarke",
	title =		"The complexity of propositional linear temporal logic",
	journal =	"Journal of ACM",
	year = 		"1985",
	volume = 	"32",
	number= 	"3",
}


@inproceedings{SKC01,
    author = "H. Su and D. Kramer and L. Chen and K. T. Claypool and E. A. Rundensteiner",
    title = "{XEM}: Managing the evolution of {XML} Documents",
    booktitle = "{RIDE}-{DM}",
    pages = "103-110",
    year = "2001"
}


@inproceedings{SKR01,
 author = {Hong Su and Harumi Kuno and Elke A. Rundensteiner},
 title = {Automating the transformation of {XML} documents},
 booktitle = {{WIDM}'01: Proceedings of the 3rd international workshop on Web information and data management},
 year = {2001},
 OPTisbn = {1-58113-444-4},
 pages = {68-75},
 location = {Atlanta, Georgia, USA},
 OPTdoi = {http://doi.acm.org/10.1145/502932.502946},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }



@book{SKS97,
	author =	"A. Silberschatzand H. F. Korth and S. Sudarshan",
	title =		"Database System Concepts",
	year = 		"1997",
	publisher = 	"McGraw-Hill",
	edition= 	"Third",
}


@inbook{Sno95,
	editor =	"R. Snodgrass",
	title =		"The {TSQL2} Temporal Query Language",
	year = 		"1995",
	publisher = 	"Kluwer Academic Publishers",
}



@inproceedings{SpS96,
author =	"N. Spyratos and D. Stamate",
title =		"Bases de donn\'ees avec informations incertaines: s\'emantique et mises \`a jour",
booktitle =	"Actes des V-\`emes Journ\'ees Francophones de Programmation en Logique et Contraites (JFPLC'96)",
year = 		"1996",
}


@InProceedings{SSM03,
  author = "H. Seidl and T. Schwentick and A. Muscholl",
  title = "Numerical document queries",
  booktitle = 	"Proc. of ACM Symposium on Principles of Database Systems (PODS)",
  year = "2003",
}

@inproceedings{SSRN91,
	author =	"S. Sudarshan and D. Srivasta and R. Ramakrishnan  and  J. Naughton",
	title =		"Space Optimization In  The Bottom-Up Evaluation Of Logic Programs",
	booktitle =	"Proceedings of ACM-SIGMOD",
	year = 		"1991",
}

@book{Som89,
	author =	"L. Somb\'e",
	title =		"Raisonnements sur des informations incompl\`etes en intelligence artificielle",
	year = 		"1989",
	publisher = 	"TEKNEA",
}



@techreport{Sou06,
	author = 	"Andr\'e Lu\'is de {Souza Brito}",
	title = 	"Proving properties in  {PEWS} ",
	institution = 	" Universidade Federal do Rio Grande do Norte (In Portuguese)",
	year = 		"2006",
}



@unpublished{Sta80,
	author =	"R. Stalnaker",
	title =		"A note on non-monotonic modal logic",
	note = 		"Department of Phylosophy, Cornell University",
	year = 		"1980",
}


@inproceedings{Sti92,
	author =	"J. Stillmann",
	title =		"The complexity of propositional default theories",
	booktitle =	"Proceedings of ECAI",
	year = 		"1992",
}

@article{StM02,
 author = {Larry Stockmeyer and Albert R. Meyer},
 title = {Cosmological lower bound on the circuit complexity of a small problem in logic},
 journal = {J. ACM},
 volume = {49},
 number = {6},
 year = {2002},
 OPTissn = {0004-5411},
 pages = {753-784},
 OPTdoi = {http://doi.acm.org/10.1145/602220.602223},
 publisher = {ACM Press},
 OPTaddress = {New York, NY, USA},
 }



@phdthesis{Sto74,
	author = 	"L. J. Stockmeyer",
	title = 	"The complexity of decision problem in automata theory and logic",
	school = 	"Department of Electrical Engineering, MIT",
	year = 		"1974",
}


@book{Sto94,
	editor =	"M. Stonebreaker",
	title =		"Readings in database systems (second edition)",
	year = 		"1994",
	publisher = 	"Morgan Kaufmann Publishers",
}




@article{Sub94,
	author =	"V. S. Subrahmanian",
	title =		"Amalgamating  knowledge bases",
	journal =	"ACM Transactions on Databases Systems",
	year = 		"1994",
	volume = 	"19",
	number= 	"2",
}


@article{Suc01,
  author = 		"D. Suciu",
  title =  		"On Database Theory and {XML}",
  journal = 	"SIGMOD Record",
  year =   		"2001",
	volume= 	"30",
	number= 	"3",
 }

 @ARTICLE{SWORD,
   author = "S.R. Ponnekanti and A. Fox",
   title = "SWORD: A Developer Toolkit for Building Composite Web Services.",
   Journal = "Proc. of the Eleventh International World Wide Web Conference, Honolulu, HI",
   year = "2002",
}


@book{tata97,
       author =       "H. Comon and M. Dauchet and R. Gilleron and F. Jacquemard and D. Lugiez and S. Tison and M. Tommasi",
       title =        "Tree Automata Techniques and Applications",
       publisher = 		"Available on: \textit{http://www.grappa.univ-lille3.fr/tata}",
       year =         "1997 (new version 2002)",
	
     }


@article{Tai79,
	author =	"Kuo-Chung Tai",
	title =		"The tree-to-tree correction problem",
	journal =	"Journal of the Association for Computing Machinery",
	year = 		"1979",
	volume = 	"26",
	number= 	"3",
}


@book{TaVS07,
	author =	"Andrew S. Tanenbaum and Maarten Van Sten",
	title =		"Distributed Systems Principles and Paradgims",
	year = 		"2007",
	publisher = 	"Addison-Wesley / Prentice Hall",
}



@article{Tak75,
	author =	"M. Takahashi",
	title =		"Generalizations of Regular Sets and Their Application to a Study of Context-Free Languages",
	journal =	"Information and Control",
	year = 		"1975",
	volume = 	"27",
}




@inbook{TCGJSS93,
	editor =	"A. Tansel and J. Clifford and S. Gardia and S. Jajodia and A. Segev and R. Snodgrass",
	title =		"Temporal Databases: Theory, Design and Implementation",
	year = 		"1993",
	publisher = 	"Benjamin/Cummings",
}


@article{Tha67,
    author="J. W. Thatcher",
    title="Characterizing derivation trees of context free grammars through a generalization of finite automata theory",
    journal = "J. Comp. System Sci.",
    volume = "1",
    pages = "317-322",
    year = "1967",
}


@article{ThW68,
    author="J. W. Thatcher and J. B. Wright",
    title="Generalized finite automata theory with an application to a decision problem of second-order logic",
    journal = "Theory of Computing Systems",
    volume = "2",
	number = "1",
    pages = "57-81",
	publisher= "Springer New York",
    year = "1968",
}





@incollection{Tho90,
	author = 	"W. Thomas",
	title = 	"Automata of Infinite Objects",
	booktitle = 	"Handbook of Theoretical Computer Science",
	publisher = 	"Elsevier",
	year =		"1990",
	editor = 	"J. Van Leeuwen",
}


@article{Tho93,
    author="K. Thompson",
    title="Regular Expression Search Algorithm",
    journal = "Communication of the ACM",
    volume = "11",
    number = "6",
    pages = "410-422",
    year = "1993",
}


@incollection{Tho97,
	author = 	"W. Thomas",
	title = 	"Languages, Automata and Logic",
	booktitle = 	"Handbook of Formal Languages",
	publisher= 	"Springer Verlag",	
	editor= 	"G. Rozenberg and A. Salomaa",
	year =		"1997",
	volume= 	"3",
}


@inproceedings{TIHW01,
	author =	"I. Tatarinov and Z. G. Ives and A. Y. Halevy and D. S. Weld",
	title =		"Updating {XML}",
	booktitle =	"ACM SIGMOD", 
	year = 		"2001",
	publisher = 	"ACM",
}


@inproceedings{ToA91,
	author =	"R. Torlone    and    P. Atzeni ",
	title =		"Updating Deductive Databases with Functional Dependencies",
	booktitle =	"DOOD, International Conference on Deductive and Object-Oriented Databases",
	year = 		"1991",
	publisher = 	"Springer-Verlag",
	series= 	LNCS,
	number= 	"566"
}

@article{TZJS94,
    author = "Jason Tsong-Li Wang and Kaizhong Zhang and Karpjoo Jeong and
               Dennis Shasha",
    title = "A System for Approximate Tree Matching",
    journal = "Knowledge and Data Engineering",
    volume = "6",
    number = "4",
    pages = "559-571",
    year = "1994",
   }


@book{Ull89,
	author =	"J. D. Ullman",
	title =		"Principles of Databases and Knowledge Base Systems",
	year = 		"1989",
	publisher = 	"Computer Science Press",
	volume =	"I and II",
}

@book{UlW97,
	author =	"J. D. Ullman and J. Widom",
	title =		"A First Course in Database Systems",
	year = 		"1997",
	publisher = 	"Prentice Hall",
}

 
@InProceedings{VA05,
  author = 	 {H. M. W. Verbeek and W. M. P. van der Aalst},
  title = 	 {Analyzing {BPEL} Processes using {{P}etri} Nets},
  OPTcrossref =  {},
  OPTkey = 	 {},
  booktitle = {Proceedings of the Second International Workshop on Applications of {{P}etri} Nets to Coordination, Workflow and Business Process Management},
  pages = 	 {59-78},
  year = 	 {2005},
  editor = 	 {D. Marinescu},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  address = 	 {Miami, Florida, USA},
  OPTmonth = 	 {},
  organization = {Florida International University},
  OPTpublisher = {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@article{VaT91,
	author =	"A. Van Gelder and  R. Topor",
	title =		"Safety and translation of relational calculus queries",
	journal =	"ACM Transactions on Databases Systems",
	year = 		"1991",
	volume = 	"16",
}


@techreport{VBK91,
	author =	"L. Vieille and P. Bayer and V. Kuchenhoff",
	title =		"Integrity Checking And Materialized Views Handling By Update Propagation In The {EKS-VI} System",
	year = 		"1991",
	institution =	"ECRC",
	number =	"TR-KB-35",
	month =		"June",
}
 

@article{VEK76,
	author =	"M. H.  Van Emdem and R. A. Kowaslski",
	title =		"The semantics of predicate logic as a programming language",
	journal =	"Journal of the ACM",
	year = 		"1976",
	volume = 	"23",
	number =	"4",
}


@article{VGe93,
	author =	"A. Van Gelder",
	title =		"The alternating fixpoint of logic programs with negation",
	journal =	"Journal of the Computer and System Sciences ",
	year = 		"1993",
	volume = 	"47",
	number =	"1"
}



@inproceedings{Via01,
	author =	"V. Vianu",
	title =		"A Web Odyssey: from {C}odd to {XML}",
	booktitle =	PODS,
	year = 		"2001",
    publisher = {ACM Press},
}



@inproceedings{Vie86,
	author =	"L. Vieille",
	title =		"Recursive axioms in deductive databases: The query-subquery approach",
	booktitle =	"Proceedings of the First International Conference on Expert Database Systems",	
	year = 		"1986",
}


@inproceedings{Vie87,
	author =	"L. Vieille",
	title =		"Database complete proof procedures based on SLD resolution",
	booktitle =	"Proceedings of the Fourth International Conference on Logic Programming",	
	year = 		"1987",
}


@article{Vie89,
	author =	"L. Vieille",
	title =		"Recursive query processing: The power of logic",
	journal =	TCS,
	year = 		"1989",
}


@article{VLL04,
 author = {Millist W. Vincent and Jixue Liu and Chengfei Liu},
 title = {Strong functional dependencies and their application to normal forms in XML},
 journal = {ACM Trans. Database Syst.},
 volume = {29},
 number = {3},
 year = {2004},
 OPTissn = {0362-5915},
 pages = {445-462},
 OPTdoi = {http://doi.acm.org/10.1145/1016028.1016029},
 publisher = {ACM Press},
 OPTaddress = {New York, NY, USA},
 }


@article{VRS91,
	author =	"A. Van Gelder and K.A. Ross and J.S. Schlipf",
	title =		"The Well-Founded Semantics For General Logic Programs",
	journal =	"Journal of the ACM",
	year = 		"1991",
	volume = 	"38",
	number =	"3"
}




@book{Vos90,
	author =	"G. Vossen",
	title =		"Data Models, Database Languages and Database Management Systems",
	year = 		"1990",
	publisher = 	"Addison-Wesley",
}

@techreport{Vos94,
	author =	"G. Vossen",
	title =		"Database theory: {A}n introduction",
	year = 		"1994",
	institution =	{University of M\"{u}nster},
	number = 	"11/94-I",
}




@inproceedings{VSLLD04,
  author    = {Millist W. Vincent and
               Michael Schrefl and
               Jixue Liu and
               Chengfei Liu and
               Solen Dogen},
  title     = {Generalized Inclusion Dependencies in {XML}.},
  booktitle = {Advanced Web Technologies and Applications, 6th Asia-Pacific
               Web Conference (APWeb)},
  year      = {2004},
  pages     = {224-233},
  OPTee        = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=3007{\&}spage=224},
  OPTcrossref  = {DBLP:conf/apweb/2004},
  OPTbibsource = {DBLP, http://dblp.uni-trier.de}
}



@techreport{WADH02,
	author =		"P. Wohed and  W.M.P. van der Aalst and  M. Dumas and A.H.M. ter Hofstede",
	title =			"Pattern based analysis of {BPEL4WS}",
	year = 			"2002",
	institution =	"Queensland University of Technology",
	number =		"{FIT-TR-2002-04, QUT}",
	url= 			"http://tmitwww.tm.tue.nl/staff/wvdaalst/Publications/p175.pdf",
}



@InProceedings{WADH03,
  author = 	 "Petia Wohed and Wil M.P. van der Aalst and Marlon Dumas and Arthur H.M.
    ter Hofstede",
  title = 	 "Analysis of Web Services Composition Languages: The Case of {BPEL4WS}",
  OPTcrossref =  {},
  OPTkey = 	 {},
  booktitle = {Proceedings of the 22nd International Conference on Conceptual Modeling (ER)},
  OPTpages = 	 {},
  year = 	 {2003},
  OPTeditor = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  address = 	 {Chicago IL, USA},
  month = 	 {October},
  organization = {"citeseer.ist.psu.edu/659670.html"},
  OPTpublisher = {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@BOOK{Wat91,
   author = {David A. Watt},
   publisher = {Prentice Hall},
   series = {Prentice Hall International Series in Computer Science},
   title = {Programming Language Syntax and Semantics},
   year = {1991},
}




@inproceedings{WaT05,
 author = {Junhu Wang and Rodney Topor},
 title = {Removing {XML} data redundancies using functional and equality-generating dependencies},
 booktitle = {ADC '05: Proceedings of the 16th Australasian database conference},
 year = {2005},
 OPTisbn = {1-920-68221-X},
 pages = {65-74},
 OPTlocation = {Newcastle, Australia},
 publisher = {Australian Computer Society, Inc.},
 address = {Darlinghurst, Australia, Australia},
 }


@inproceedings{Web86,
	author =	"A. Weber",
	title =		"Updating propositional formulas",
	booktitle =	"Proceedings of the First Conference on Expert Database Systems",	
	year = 		"1986",
}


@book{WHAB00,
       author =       "L. Wood and {A. Le} Hors and V. Apparao and S. Byrne and M. Champion and S. Issacs and I. Jacobs and G. Nicol and J. Robie and R. Sutor and C. Wilson",
       title =        "Document Object Model (DOM) Level 1 Specification",
       publisher = 		"W3C Recommendation, {http://www.w3.org/XML}",
       year =         "2000",
     }



@inproceedings{Wid99,
  author = "J. Widom",
  title =  "Data Management for {XML}: Research Directions",
  booktitle = "IEEE",
  year =   "1999",
 }

@inproceedings{Win88,
	author =	"M. Winslett",
	title =		"Reasoning about action using possible models approach",
	booktitle =	"Proceedings of the Seventh National Conference on Artificial Intelligence",
	year = 		"1988",
}



@book{Win90,
	author =	"M. Winslett",
	title =		"Updating Logical Databases",
	year = 		"1990",
	publisher = 	"Cambridge University Press",
}

@inproceedings{WiY90,
	author =	"L. Willard and L. Yan-Yuan",
	title =		"The revised {G}ardenfors postulates and update semantics",
	booktitle =	"ICDT - Third International Conference on Database Theory" ,
	publisher= 	"Springer-Verlag",
	series= 	 LNCS,
	number=		"470",
	year = 		"1990",
}



@article{Woo95,
    author="D. Wood",
    title="Standard Generalized Markup Language: Mathematical and philosofical issues",
    journal = "Computer Science Today",
    pages = "344-365",
    year = "1995",
}



@book{Yas71,
	author =	"Yasuhara",
	title =		"Recursive Function Theory and Logic",
	year = 		"1971",
	publisher = 	"Academic Press",
}


@inproceedings{YaW98,
	author =	"J. Yang and J. Widom",
	title =		"Maintaining temporal views over non-temporal information sources for data warehousing",
	booktitle =	EDBT,
	year = 		"1998",
}



@inproceedings{YaW2000,
	author =	"J. Yang and J. Widom",
	title =		"Temporal View Self-Maintenance in a Warehousing Environment",
	booktitle= 	EDBT,
	year = 		"2000",
}


@inproceedings{YaW01,
	author =	"J. Yang and J. Widom",
	title =		"Incremental Computation and Maintenance of Temporal Aggregates",
	booktitle= 	"Proceedings of the Seventeenth International Conference on Data    Engineering",
	year = 		"2001",
	address= 	"Heidelberg, Germany",
}


@inproceedings{Yeu06,
  author    = {Wing Lok Yeung},
  title     = {Mapping {WS-CDL} and {BPEL} into {CSP} for Behavioural Specification
               and Verification of Web Services.},
  booktitle = {ECOWS},
  year      = {2006},
  pages     = {297-305},
  OPTee        = {http://doi.ieeecomputersociety.org/10.1109/ECOWS.2006.26},
  OPTcrossref  = {DBLP:conf/ecows/2006},
  OPTbibsource = {DBLP, http://dblp.uni-trier.de}
}





@inproceedings{YGYG95,
	author =	"J.-H. You and S. Ghosh and L.-Y. Yuan and R. Goebel",
	title =		"An introspective framework for paraconsistent logic programs",
	booktitle =	"Logic Programming - Proceedings of the 1995 International Conference" ,
	year = 		"1995",
}




@inproceedings{YuY95,
	author =	"L. Yuan and J. You",
	title =		"On coherence approach to logic program revision",
	booktitle =	"Proceedings of 12th ICLP",
	year = 		"1995",
	editor = 	"MIT Press",
}




@inproceedings{ZhH90,
	author =	"Y. Zhou and M. Hsu",
	title =		"A Theory for rule triggering system",
	booktitle =	"Proceedings of Advances in Database Technology - EDBT90 - International Conference on Extending Database Technology",
	year = 		"1990",
	editor = 	"Springer-Verlag",
	series= 	LNCS,
	number= 	"416",
}



@inproceedings{ZGHW95,
	author =	"Y. Zhuge and H. {Garcia-Molina} and J. Hammer and J. Widom",
	title =		"View Maintenance in a Data Warehousing Environment",
	booktitle =	"Proceedings of the ACM  SIGMOD International Conference on Management of Data",
	year = 		"1995",
}


@inproceedings{ZGMST01,
	author =	"D. Zhang and D. Gunopulos and A. Markowetz and B. Seeger and V. Tsotras",
	title =		"Efficient computation of Temporal Aggregates with range predicates",
	booktitle =	PODS,
	year = 		"2001",
    publisher = {ACM Press},
}


@article{ZSH89, 
 author = "K. Zhang and D. Shasha",
  title = "Simple fast algorithms for the editing distance between trees and
            related problem",
   journal = "SIAM Journal on Computing",
    volume = "18",
    number = "6",
    pages = "1245-1262",
    year = "1989",
    }


@article{ZSS92,
        AUTHOR = "Kaizhong Zhang and Richard Statman and Dennis Shasha",
        TITLE = "On The Editing Distance Between Unordered Labeled Trees",
        JOURNAL = "Information Processing Letters",
        VOLUME = "42",
        YEAR = "1992",
        PAGES = "133-139"
        }



@article{ZPC97,
	author =	"D Ziadi and  J. L. Ponty and  J.M. Champarnaud",
	title =		"Passage d'une expression rationnelle � un automate fini non-deterministe",
	journal =	"Bull. Belg. Math. Soc",
	year = 		"1997",
    pages = "177-203",
	volume= 	"4"
}





%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%INCLUSOES MARTIN - FORA DO PADRAO
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

@ARTICLE{doh03module,
  AUTHOR =       "Kyung-Goo Doh and Peter D. Mosses",
  TITLE =        "Composing programming languages by combining Action-semantics modules",
  JOURNAL =      "Science of Computer Programming",
  YEAR =         "2003",
  volume =       "47",
  number =       "1",
  pages =        "3-36",
  month =        "April",
  note =         "Elsevier Science Publishers"
}

@inproceedings{doh01module,
    author = "Doh, K. and Mosses, P.",
    title = "Composing programming languages by combining action semantics modules",
    booktitle = "First Workshop on Language Descriptions, Tools and Applications",
    year = "2001"
     }


@inproceedings{menezes01componentbased,
    author = "Menezes, L. C. and Moura, H.",
    title = "Component-based Action Semantics: A new Approach for Programming Language Specifications",
    booktitle = "SBLP 2001 - V Brazilian Symposium on Programming Languages",
    publisher = "Universidade Federal do Paran�",
    address = "Curitiba, Brazil",
    pages = "152-163",
    year = "2001"
     }

@BOOK{Winskel93fspl,
   author = {Glynn Winskel},
   publisher = {MIT Press},
   series = {Foundations of Computing Series},
   title = {The Formal Semantics of Programming Languages: An Introduction},
   year = {1993},
}




%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Unpublished
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

@unpublished{BHM05report,
	author =	"Cheikh Ba and M\'{\i}rian {Halfeld-Ferrari} and Martin A. Musicante",
	title =		"{PEWS}: Predicate Path Expressions for web services",
	note =		"Technical Report LI (to appear), Universit\'e Fran\c cois Rabelais de Tours",
	year = 		"2005",
}



%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Miscelaneous - specfications and work groups
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%


@misc{bpel03,
	author =	"Tony Andrews and Francisco Curbera and Hitesh Dholakia and Yaron Goland and Johannes Klein and Frank Leymann and Kevin Liu and Didier Roller and Doug Smith and Satish Thatte and Ivana Trickovic and Sanjiva Weeranwarana",    
	title =		"Bussiness Process Execution Language for Web Services", 
	howpublished =	"Available at {http://www-128.ibm.com/developerworks/library/specification/ws-bpel/}",
	year= 		"2003",
}




@misc{bpml02,
	author =	"Intalio and BPMI.org.",
	title =		"Bussiness Process Modeling Language", 
	howpublished =	"Available at {http://www.bpmi.org/bpmi-downloads/BPML-SPEC-1.0.zip}",
	year= 		"2002",
}


@Misc{choreoWG,
  author = 	 {Daniel Austin and Abbie Barbir and Ed Peters and Steve Ross-Talbot},
  title = 	 {Web Services Choreography Requirements},
  month = 	 {March},
  year = 	 {2004},
  note = 	 {W3C Working Draft},
  howpublished = {Available at {http://www.w3.org/TR/2004/WD-ws-chor-reqs-20040311/}},
  OPTannote = 	 {}
}






@Misc{daml04,
  author = 	 { DAML Services Coalition},
  title = 	 {DAML-S: Semantic Markup for Web Services},
  year = 	 {2004},
  howpublished = {Available at {http://www.daml.org/services/}},
}




@Misc{ebXML01,
  author = 	 {ebXML Team},
  title = 	 {ebXML Requirements Specification, Version 1.06},
  month = 	 {May},
  year = 	 {2001},
  howpublished = {Available at {http://www.ebxml.org/specs/ebREQ.pdf}},
}




@Misc{Hab75,
  OPTkey = 		 {},
  author = 	 {A. N. Habermann},
  title = 	 {Path Expressions},
  howpublished = {Dept. of Computer Science, Carnegie-Mellon University, Pittsburgh, Pennsylvania, USA},
  OPTmonth = 	 {June},
  year = 	 {1975},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@misc{Stylus,
	author = "Stylus Studio",
	title =		"{XMLS}tylus.",
	howpublished =	"Available at {http://www.stylusstudio.com}",
}


@misc{wsci02,
	author ="    Assaf Arkin and     Sid Askary and Scott Fordin and  Wolfgang Jekeli and  Kohsuke Kawaguchi and  David Orchard and Stefano Pogliani and  Karsten Riemer and   Susan Struble and Pal Takacsi-Nagy and  Ivana Trickovic and Sinisa Zimek",
	title =		"Web Service Choreography Interface", 
	howpublished =	"Available at {http://www.w3.org/TR/wsci/}",
	year= 		"2002",
}

@misc{wscl02,
	author ="Arindam Banerji  and Claudio Bartolini and Dorothea Beringer and Venkatesh Chopella and Kannan Govindarajan and Alan Karp and Harumi Kuno and Mike Lemon and Gregory Pogossiants and Shamik Sharma and Scott Williams",
	title =		"Web Services Conversation Language (WSCL) 1.0",
	howpublished =	"Available at {http://www.w3.org/TR/2002/NOTE-wscl10-20020314/}",
	year= 		"2002",
}


@Misc{wsdl01,
  OPTkey = 		 {},
  author = 	 {Erik Christensen and Francisco Curbera and Greg Meredith and Sanjiva Weerawarana},
  title = 	 {Web Services Description Language ({WSDL}) 1.1},
  OPTmonth = 	 {},
  year = 	 {2001},
  OPTnote = 	 {},
  howpublished = {Availabre at http://www.w3.org/TR/wsdl},
  OPTannote = 	 {}
}

@Misc{wsfl01,
  author = 	 {F. Leyman},
  title = 	 {Web Services Flow Language (WSFL) 1.0},
  OPTmonth = 	 {},
  year = 	 {2001},
  OPTnote = 	 {},
  howpublished = {Availabre at {http://www-3.ibm.com/software/solutions/webservices/pdf/WSFL.pdf/}},
  OPTannote = 	 {IBM Academy of Technology, IBM Software Group.}
}


@misc{Xerces2005,
	title =		"The {Apache XML} Editor",
	howpublished =	"Available at http://www.apache.org/xerces-j/"
}





@misc{xlang01,
	author ="S. Thatte",
	title =		"{XLANG}: Web Services for Business Process Design",
	howpublished =	"Available at {http://www.gotdotnet.com/team/xml\_wsspecs/xlang-c/default.htm}",
	year= 		"2001",
}



@misc{XMLspec,
	title =		"{XML} - W3C Recommendation ",
	howpublished =	"Available at {http://www.w3.org/TR/REC-xml/}",
}

@misc{XMLa,
	title =		"{XML} Editor products",
	howpublished =	"Available at http://www.perferctxml.com/soft.asp?cat=6",
}


@misc{XMLb,
	title =		"{XML} Query working group",
	howpublished =	"Available at http://www.w3.org/{XML}/{Q}uery",
}



@misc{XMLd ,
	title =		"The {S}chematron: An {XML}  Structure Validation Language using Patterns in Trees",
	howpublished =	"Available at http://www.ascc.net/xml/resource/schematron",
}

@misc{XMLe ,
	title =		"{XU}pdate - {XML:DB} {W}orking Draft",
	howpublished =	"Available at http://www.xmldb.org/xupdate/xupdate-wd.html",
}


@misc{XMLmind,
	title =		"{XML}mind {XML} Editor.",
	howpublished =	"Available at http://www.xmlmind.com/xmleditor/",
}





@misc{XMLsax ,
	title =		"Official website for {SAX}.",
	howpublished =	"Available at {http://www.saxproject.org/}",
}

@misc{XMLSpy,
	title =		"{XMLS}py Document Editor.",
	howpublished =	"Available at {http://www.xmlspy.com/products\_doc.html}",
}


@misc{XPath1,
	title =		"{XML} {P}ath {L}anguage ({XPath}), Version 1.0",
	howpublished =	"W3C. At {http://www.w3.org/TR/xpath}",
}

@misc{XPath2a,
	title =		"What's New in XPath 2.0",
	howpublished =	"{O Reilly XML.com} At {http://www.xml.com/pub/a/2002/03/20/xpath2.html}",
}

@misc{XPath2b,
	title =		"{XML} {P}ath {L}anguage ({XPath}), Version 2.0",
	howpublished =	"W3C. At {http://www.w3.org/TR/xpath20/}",
}

@misc{XQuery,
	title =		"{XQuery} 1.0: An {XML} Query Language",
	howpublished =	"W3C. At {http://www.w3.org/TR/xquery/}",
}

@misc{XSLT,
	title =		"{XSL} {T}ransformations ({XSLT}) Version 1.0",
	howpublished =	"W3C. At  {http://www.w3.org/TR/xslt}",
}


@misc{XMLSchema,
	title =		"{XML} {S}chema",
	howpublished =	"W3C. At  {http://www.w3.org/XML/Schema}",
}


@misc{specBPEL03,
    author =	{T. Andrews and F. Curbera and  H. Dholakia and  Y. Goland and  J. Klein and  F. Leymann and  K. Liu and  D. Roller and  D. Smith and  S. Thatte and  I. Trickovic and  and S. Weerawarana},
    title = 	{Specification: Business Process Execution Language for Web Services, Version 1.1. 2003.},
    howpublished  = {Available at http://www-106.ibm.com/developerworks/library/ws-bpel/.},
    year = "2003",
}


@misc{W3CWSArchi,
	author = "W3C Working Group", 
	title =		"Web Services Architecture - Note 11 February 2004",
	howpublished =	"Available at http://www.w3c.org/TR/ws-arch/",
}


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% FlowVR
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
@InProceedings{europar04,
  author = 	 {J. Allard and V. Gouranton and  L. Lecointre and S. Limet and E. Melin and  B. Raffin and S. Robert},
  title = 	 "{FlowVR:   a   Middleware   for  Large  Scale   Virtual  Reality   Applications}",
  OPTcrossref =  {},
  OPTkey = 	 {},
  booktitle = "proc. of the international conference {EUROPAR} 2004",
  pages = 	 {497-505},
  year = 	 {2004},
  OPTeditor = 	 {},
  volume = 	 {3149},
  OPTnumber = 	 {},
  series = 	 {LNCS},
  OPTaddress = 	 {},
  OPTmonth = 	 {},
  OPTorganization = {},
  publisher = {Springer Verlag},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@InProceedings{ipt:05,
  author = 	  {J.  Allard and   C. M\'enier and  E. Boyer and  B. Raffin}, 
  title = 	 "{Running Large VR Applications on a PC Cluster: the FlowVR Experience}",
  booktitle = 	 {Proceedings of EGVE/IPT 05},
  year =	 2005,
  address =	 {Denmark},
  month =	 {October}
}


@InProceedings{flowvrrender,
  author = 	 {J. Allard  and B. Raffin},
  title = 	 "{A Shader-Based Parallel  Rendering Framework}",
  booktitle = 	 {IEEE Visualization Conference},
  OPTcrossref =  {},
  OPTkey = 	 {},
  OPTpages = 	 {},
  year =	 {2005},
  OPTeditor = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  address =	 {Minneapolis, USA},
  month =	 {October},
  OPTorganization = {},
  OPTpublisher = {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}




@Book{szy98,
  ALTauthor = 	 {C. Szyperski},
  ALTeditor = 	 {},
  title = 	 {Component Software -- Beyond Object-Oriented Programming},
  publisher = 	 {Addison-Wesley / ACM Press},
  year = 	 {1998},
  OPTkey = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  OPTaddress = 	 {},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@Article{ PaCo,
      AUTHOR = {Denis, Alexandre and P{\'e}rez, Christian and Priol, Thierry},
      TITLE = {Achieving Portable and Efficient Parallel CORBA Objects},
      YEAR = {2003},
      MONTH = {August},
      JOURNAL = {Concurrency and Computation: Practice and Experience},
      VOLUME = {15},
      NUMBER = {10},
      PAGES = {891--909},
      URL = {http://www.irisa.fr/paris/Biblio/Papers/Denis/DenPerPri03CCPE.ps },
      KEYWORDS = {PACO, CORBA, GRID}
} 

@inproceedings{PARDIS,
 author = {Keahey,, Katarzyna and Gannon,, Dennis},
 title = {PARDIS: CORBA-based architecture for application-level parallel distributed computation},
 booktitle = {Supercomputing '97: Proceedings of the 1997 ACM/IEEE conference on Supercomputing (CDROM)},
 year = {1997},
 isbn = {0-89791-985-8},
 pages = {1--14},
 location = {San Jose, CA},
 doi = {http://doi.acm.org/10.1145/509593.509616},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

@ARTICLE{cca,
	author = {B A Allan and R C Armstrong and A P Wolfe and J Ray and D E Bernholdt and J A Kohl},
	title = {The cca core specification in a distributed memory spmd framework. Concurrency and Computation: Practice and Experience},
	journal = {},
	year = {2002},
	number = {14},
	pages = {2002}
}




@article{cca2,
 author = {Allan,, Benjamin A. and Armstrong,, Robert and Bernholdt,, David E. and Bertrand,, Felipe and Chiu,, Kenneth and Dahlgren,, Tamara L. and Damevski,, Kostadin and Elwasif,, Wael R. and Epperly,, Thomas G. W. and Govindaraju,, Madhusudhan and Katz,, Daniel S. and Kohl,, James A. and Krishnan,, Manoj and Kumfert,, Gary and Larson,, J. Walter and Lefantzi,, Sophia and Lewis,, Michael J. and Malony,, Allen D. and Mclnnes,, Lois C. and Nieplocha,, Jarek and Norris,, Boyana and Parker,, Steven G. and Ray,, Jaideep and Shende,, Sameer and Windus,, Theresa L. and Zhou,, Shujia},
 title = {A Component Architecture for High-Performance Scientific Computing},
 journal = {Int. J. High Perform. Comput. Appl.},
 volume = {20},
 number = {2},
 year = {2006},
 issn = {1094-3420},
 pages = {163--202},
 doi = {http://dx.doi.org/10.1177/1094342006064488},
 publisher = {Sage Publications, Inc.},
 address = {Thousand Oaks, CA, USA},
 }


@article{LeRa08,
 author = "Jean-Denis Lesage and Bruno Raffin",
 title = "A Hierarchical Component Model for Large Parallel Interactive ",
 journal = {The Journal of Supercomputing},
 year = 		"2008",
publisher = {Springer}, 
 }


@inproceedings{MPC08,
  author    = {Martin A. Musicante and
               Edinardo Potrich and
               Marcos Aur{\'e}lio Carrero},
  title     = {A programming environment for web services},
  booktitle = {SAC},
  year      = {2008},
  pages     = {2363-2367},
  ee        = {http://doi.acm.org/10.1145/1363686.1364249},
  crossref  = {DBLP:conf/sac/2008},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/sac/2008,
  editor    = {Roger L. Wainwright and
               Hisham Haddad},
  title     = {Proceedings of the 2008 ACM Symposium on Applied Computing
               (SAC), Fortaleza, Ceara, Brazil, March 16-20, 2008},
  booktitle = {SAC},
  publisher = {ACM},
  year      = {2008},
  isbn      = {978-1-59593-753-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{AM04,
author = {Marcelo Araujo and Martin A. Musicante},
title = {LFL: A Library of Generic Classes for Object-Oriented Action Semantics},
journal = {sccc},
volume = {00},
year = {2004},
isbn = {0-7695-2200-9},
pages = {39-47},
doi = {http://doi.ieeecomputersociety.org/10.1109/QEST.2004.13},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}  

@Article{MCM07a,
  author =     "A. Murbach Maidl and C. Carvilhe and M.A. Musicante",
  title =      "Using Visitor Patterns in Object-Oriented Action Semantics",
  abstract =   "Object-Oriented Action Semantics is a semantic   framework for the definition of programming languages. The framework   incorporates some object-oriented concepts to the Action Semantics   formalism. Its main goal is to obtain more readable and reusable   semantic specifications. ObjectOriented Action Semantics provides   support for the definition of syntax-independent specifications, due   to the way its classes are written. In a previous work, a library of   classes (called LFL) was developed to improve specification reuse   and to provide a way to describe semantic concepts, independent from   the syntax of the programming language. This paper aims to address   some problematic aspects of LFL, and presents a case study, where a   specification is built by using the Visitor Pattern technique. The   use of this pattern allows a clear separation between the syntax of   a programming language and its different semantic   aspects.",
  journal =    j-jucs,
  year =       "2007",
  volume =     "13",
  number =     "6",
  pages =      "891--919",
  month =      {aug}
}



@InProceedings{MCM09,
  author = 	 {A. M. Maidl and C. Carvilhe and M. A. Musicante},
  title = 	 {An Implementation of Object-Oriented Action Semantics in Maude},
  OPTcrossref =  {},
  OPTkey = 	 {},
  booktitle = {Symposium in Honor of Professor Peter Moses},
  OPTpages = 	 {},
  year = 	 {2009},
  OPTeditor = 	 {},
  volume = 	 {5700},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  address = 	 {Italy},
  month = 	 {sep},
  organization = {LNCS},
  publisher = {Springer, LNCS},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@Article{CM03,
  author =     "C. Carvilhe and M. A. Musicante",
  title =      "Object-Oriented Action Semantics Specifications",
  abstract =   "Action Semantics is a framework for the formal specification of programming languages. Two different, recently proposed approaches provide modularity to the framework, allowing for specification reusability and extension. In this work, we analyze the previous approaches, and introduce Object-Oriented Action Semantics, a new form of modular organization of Action Semantics descriptions. Object-oriented Action Semantics does not modify the syntax in which actions are written, the addition of object-oriented features (like classes and objects) is done as an upper layer to the semantic entities and functions. A simple Pascal-like, imperative programming language is described using the formalism. The extension and reuse capabilities of Object_Oriented Action Semantics are demonstrated by adding new features to the description. The semantics of the object-oriented action notation is also presented.",
  journal =    j-jucs,
  year =       "2003",
  volume =     "9",
  number =     "8",
  pages =      "910--934",
  month =      "September",
  }

@Book{Zhang07,
ALTauthor = {},
editor = {L.J. Zhang},
title = {Modern technologies in Web services research},
publisher = {IGI Publishing},
year = {2007},
OPTkey = {},
OPTvolume = {},
OPTnumber = {},
OPTseries = {},
address = {Hershey - USA},
OPTedition = {},
OPTmonth = {},
note = {ISBN 978-1-59904-280-0 (hardcover) - ISBN 978-1-5904-282-7 (ebook)},
OPTannote = {}
}


@ARTICLE{SCZ,
  author = "M. Solanki and A. Cau and H. Zedan",
  title = "Augmenting semantic web service descriptions with compositional specification.",
  Journal = "Proc. WWW, pp. 544-552. ACM",
  year = "2004",
}

@ARTICLE{BFHS,
  author = "T. Bultan and X. Fu and R. Hull and J. Su",
  title = "Conversation specification: a new approach to design and analysis of e-service composition.",
  Journal = "Proc. WWW, pp. 403-410. ACM",
  year = "2003",
}


@MastersThesis{Pot06,
  author = 	 {Edinardo Potrich},
  title = 	 {PEWS Editor, um front-end para a linguagem de composi\c{c}\~ao PEWS},
  school = 	 {Universidade Federal do Paran\'a},
  year = 	 {2006},
  OPTkey = 	 {},
  OPTtype = 	 {},
  OPTaddress = 	 {},
  OPTmonth = 	 {},
  note = 	 {In portuguese},
  OPTannote = 	 {}
}

@MastersThesis{Car06,
  author = 	 {Marcos Aur\'elio Carrero},
  title = 	 {Um Sistema de Tempo de Execu\c{c}\~ao para a Linguagem PEWS},
  school = 	 {Universidade Federal do Paran\'a},
  year = 	 {2006},
  OPTkey = 	 {},
  OPTtype = 	 {},
  OPTaddress = 	 {},
  month = 	 {mar},
  note = 	 {In portuguese},
  OPTannote = 	 {}
}


@InProceedings{SVMA07,
  author = 	 {J. C. T. da Silva and S. Vervilio and M. A. Musicante and A. Pozo},
  title = 	 {XML Schema Evolution by Context-Free Grammar Inference},
  OPTcrossref =  {},
  OPTkey = 	 {},
  booktitle = {SEKE2007 - The Nineteenth International Conference on Software Engineering and Knowledge Engineering},
  pages = 	 {444-449},
  year = 	 {2007},
  OPTeditor = 	 { },
  volume = 	 {1},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  address = 	 {Boston, USA},
  month = 	 {mai},
  organization = {Knowledge Systems Institute Graduate School},
  OPTpublisher = {},
  OPTnote = 	 {},
  OPTannote = 	 {}

}

@inproceedings{BaH08,
  author    = {Cheikh Ba and
               M\'{\i}rian Halfeld Ferrari},
  title     = {Dependence graphs for verifications of web service compositions
               with PEWS},
  booktitle = {SAC},
  year      = {2008},
  pages     = {2387-2391},
  ee        = {http://doi.acm.org/10.1145/1363686.1364253},
  crossref  = {DBLP:conf/sac/2008},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{DBLP:conf/la-web/LlambiasMRS08,
 author    = {Guzm{\'a}n Llamb\'{\i}as and
             Regina Motz and
             Alvaro Rettich and
             Marco Scalone},
 title     = {Multidimensional Semantic Web Services Matching},
 booktitle = {LA-WEB},
 year      = {2008},
 pages     = {115-120},
 ee        = {http://dx.doi.org/10.1109/LA-WEB.2008.13},
 crossref  = {DBLP:conf/la-web/2008},
 bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/la-web/2008,
 editor    = {Ricardo A. Baeza-Yates and
             Wagner Meira Jr. and
             Luis Antonio Olsina Santos},
 title     = {Proceedings of the Latin American Web Conference, LA-WEB
             2008, October 28-30, 2008, Vila Velha, Esp\'{\i}rito Santo,
             Brasil},
 booktitle = {LA-WEB},
 publisher = {IEEE Computer Society},
 year      = {2008},
 bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{DBLP:conf/otm/LlambiasMTU08,
 author    = {Guzm{\'a}n Llamb\'{\i}as and
             Regina Motz and
             Federico Toledo and
             Simon de Uvarow},
 title     = {Learning to Get the Value of Quality from Web Data},
 booktitle = {OTM Workshops},
 year      = {2008},
 pages     = {1018-1025},
 ee        = {http://dx.doi.org/10.1007/978-3-540-88875-8_129},
 crossref  = {DBLP:conf/otm/2008-w},
 bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/otm/2008-w,
 editor    = {Robert Meersman and
             Zahir Tari and
             Pilar Herrero},
 title     = {On the Move to Meaningful Internet Systems: OTM 2008 Workshops,
             OTM Confederated International Workshops and Posters, ADI,
             AWeSoMe, COMBEK, EI2N, IWSSA, MONET, OnToContent + QSI,
             ORM, PerSys, RDDS, SEMELS, and SWWS 2008, Monterrey, Mexico,
             November 9-14, 2008. Proceedings},

 booktitle = {OTM Workshops},
 publisher = {Springer},
 series    = {Lecture Notes in Computer Science},
 volume    = {5333},
 year      = {2008},
 isbn      = {978-3-540-88874-1},
 bibsource = {DBLP, http://dblp.uni-trier.de}


}

@Unpublished{Placido2010,
author = {P.Souza-Neto and M.Musicante},
title = {DM4PEWS: A new Methodology for the Development od PEWS-Based Software},
note = {Submitted},
OPTkey = {key},
OPTmonth = {month},
year = {2010},
OPTannote = {annote},
}

@Misc{Martin04,
author = {Martin, D and Burstein, M and Hobbs, J and Lassila, O and McDermott, D and McIlraith, S and Narayanan, S and Paolucci, M and Parsia, B and Payne, T and others},
title = {OWL-S: Semantic Markup for Web Services},
howpublished = {W3C Member Submission 22},
OPTmonth = {month},
year = {2004},
OPTnote = {note},
OPTannote = {annote},
}

@Misc{Lausen05,
author = {Lausen, H and Polleres, A and Roman, D.},
title = {Web Service Modeling Ontology (WSMO)},
howpublished = {W3C Member Submission 3},
OPTmonth = {month},
year = {2005},
OPTnote = {note},
OPTannote = {annote},
}

@inproceedings{DBLP:conf/la-web/LlambiasMRS08,
  author    = {Guzm{\'a}n Llamb\'{\i}as and
               Regina Motz and
               Alvaro Rettich and
               Marco Scalone},
  title     = {Multidimensional Semantic Web Services Matching},
  booktitle = {LA-WEB},
  year      = {2008},
  pages     = {115-120},
  ee        = {http://dx.doi.org/10.1109/LA-WEB.2008.13},
  crossref  = {DBLP:conf/la-web/2008},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/la-web/2008,
  editor    = {Ricardo A. Baeza-Yates and
               Wagner Meira Jr. and
               Luis Antonio Olsina Santos},
  title     = {Proceedings of the Latin American Web Conference, LA-WEB
               2008, October 28-30, 2008, Vila Velha, Esp\'{\i}rito Santo,
               Brasil},
  booktitle = {LA-WEB},
  publisher = {IEEE Computer Society},
  year      = {2008},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{DBLP:conf/birthday/Motz05,
  author    = {Regina Motz},
  title     = {Dynamic Maintenance of an Integrated Schema},
  booktitle = {From Integrated Publication and Information Systems to Virtual
               Information and Knowledge Environments},
  year      = {2005},
  pages     = {21-30},
  ee        = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=3379{\&}spage=21},
  crossref  = {DBLP:conf/birthday/2005neuhold},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/birthday/2005neuhold,
  editor    = {Matthias Hemmje and
               Claudia Nieder{\'e}e and
               Thomas Risse},
  title     = {From Integrated Publication and Information Systems to Virtual
               Information and Knowledge Environments, Essays Dedicated
               to Erich J. Neuhold on the Occasion of His 65th Birthday},
  booktitle = {From Integrated Publication and Information Systems to Virtual
               Information and Knowledge Environments},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {3379},
  year      = {2005},
  isbn      = {3-540-24551-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{Guermouche08,
  author    = {Nawal Guermouche and
               Olivier Perrin and
               Christophe Ringeissen},
  title     = {Timed Specification For Web Services Compatibility Analysis},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {200},
  number    = {3},
  year      = {2008},
  pages     = {155-170},
  ee        = {http://dx.doi.org/10.1016/j.entcs.2008.04.098},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{FeilerH93,
  author    = {Peter H. Feiler and
               Watts S. Humphrey},
  title     = {Software Process Development and Enactment: Concepts and
               Definitions},
  booktitle = {ICSP},
  year      = {1993},
  pages     = {28-40},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@TechReport{wsci,
  author = 	 {Assaf Arkin and Sid Askary and Scott Fordin and Wolfgang Jekeli and Kohsuke Kawaguchi and David
Orchard and Stefano Pogliani and Karsten Riemer and Susan Struble and Pal Takacsi-Nagy and Ivana
Trickovic and Sinisa Zimek},
  title = 	 {Web service choreography interface},
  institution =  {World Wide Web Consortium},
  year = 	 {2002},
  OPTkey = 	 {}, 
  OPTtype = 	 {},
  OPTnumber = 	 {},
  OPTaddress = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@TechReport{xlang,
  author = 	 {S. Thatte},
  title = 	 {XLANG: Web Services for Business Process Design},
  OPTinstitution =  {Institution},
  year = 	 {2001},
  OPTkey = 	 {},
  OPTtype = 	 {},
  OPTnumber = 	 {},
  OPTaddress = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@TechReport{uddi,
  author = 	 {Ariba Inc. and IBM Corp. and and Microsoft Corp},
  title = 	 {Universal Description, Discovery, and Integration (UDDI)},
  institution =  {UDDI.org}, 
  year = 	 {2000},
  OPTkey = 	 {},
  OPTtype = 	 {},
  OPTnumber = 	 {},
  OPTaddress = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@TechReport{wsdl, 
  author = 	 {Erik Christensen and Francisco Curbera and Greg Meredith and Sanjiva Weerawarana},
  title = 	 {Web Services Description Language (WSDL) 1.1},
  institution =  {World Wide Web Consortium},
  year = 	 {2001},
  OPTkey = 	 {},
  OPTtype = 	 {},
  OPTnumber = 	 {},
  OPTaddress = 	 {},
  OPTmonth = 	 {},
  note = 	 {Dispon?vel em http://www.w3.org/TR/wsdl},
  OPTannote = 	 {}
}

@TechReport{soap,
  author = 	 {Don Box and David Ehnebuske and Gopal Kakivaya and Andrew Layman and Noah Mendelsohn and
Henrik Frystyk Nielsen and Satish Thatte and Dave Winer},
  title = 	 {Simple Object Access Protocol
(SOAP)},
  institution =  {World Wide Web Consortium},
  year = 	 {2000},
  OPTkey = 	 {},
  OPTtype = 	 {},
  OPTnumber = 	 {},
  OPTaddress = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@Book{booch07,
  author = 	 {Grady Booch},
  ALTeditor = 	 {Editor},
  title = 	 {Object-Oriented Analysis and Design with Applications},
  publisher = 	 {Addison-Wesley},
  year = 	 {2007},
  OPTkey = 	 {},
  OPTvolume = 	 {},
  number = 	 {51-52},
  series = 	 {ISBN 0-201-89551-X},
  OPTaddress = 	 {},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@article{StippB93,
  author    = {Lori Stipp and
               Grady Booch},
  title     = {Introduction to object-oriented design (abstract)},
  journal   = {OOPS Messenger},
  volume    = {4},
  number    = {2},
  year      = {1993},
  pages     = {222},
  ee        = {http://doi.acm.org/10.1145/157710.157777},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@book{Rosen08,
 author = {Rosen, Michael and Lublinsky, Boris and Smith, Kevin T. and Balcer, Marc J.},
 title = {Applied SOA: Service-Oriented Architecture and Design Strategies},
 year = {2008},
 isbn = {0470223650, 9780470223659},
 publisher = {Wiley Publishing},
 }

@inproceedings{Hernandez-BaruchPZ07,
  author    = {Victor Hernandez-Baruch and
               Alberto Portilla and
               Jos{\'e}-Luis Zechinelli-Martini},
  title     = {ROSE: A transactional services coordination engine},
  booktitle = {ENC},
  year      = {2007},
  pages     = {123-130},
  ee        = {http://dx.doi.org/10.1109/ENC.2007.18},
  crossref  = {DBLP:conf/enc/2007},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@TechReport{bonita10,
  author = 	 {Miguel Valdes Faura and Rodrigue Le Gall},
  title = 	 {Bonita Open Solution 5.0.1},
  institution =  {OW2 Consortium},
  year = 	 {2010},
  OPTkey = 	 {},
  OPTtype = 	 {},
  OPTnumber = 	 {},
  address = 	 {http://forge.objectweb.org/projects/bonita},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@inproceedings{PiresBM02,  
  author    = {Paulo F. Pires and
               Mario R. F. Benevides and
               Marta Mattoso},
  title     = {Building Reliable Web Services Compositions},
  booktitle = {Web, Web-Services, and Database Systems},
  year      = {2002},
  pages     = {59-72},
  ee        = {http://link.springer.de/link/service/series/0558/bibs/2593/25930059.htm},
  crossref  = {DBLP:conf/jit/2002},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
 
@inproceedings{MendesPDB09,
  author    = {Reginaldo Mendes and
               Paulo F. Pires and
               Fl{\'a}via Coimbra Delicato and
               Tha\'{\i}s Vasconcelos Batista},
  title     = {WebFlowAH: an environment for ad-hoc specification and execution
               of web services-based processes},
  booktitle = {SAC},
  year      = {2009},
  pages     = {692-693},
  ee        = {http://doi.acm.org/10.1145/1529282.1529426},
  crossref  = {DBLP:conf/sac/2009},
  bibsource = {DBLP, http://dblp.uni-trier.de}
} 

@inproceedings{Haddad08,
 author = {Haddad, Joyce El and Manouvrier, Maude and Ramirez, Guillermo and Rukoz, Marta},
 title = {QoS-Driven Selection of Web Services for Transactional Composition},
 booktitle = {ICWS '08: Proceedings of the 2008 IEEE International Conference on Web Services},
 year = {2008},
 isbn = {978-0-7695-3310-0},
 pages = {653--660},
 doi = {http://dx.doi.org/10.1109/ICWS.2008.116},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 }
 
@INPROCEEDINGS{HL05TACoS,
  AUTHOR = {R. Heckel and M. Lohmann},
  TITLE = {Towards Contract-based Testing of Web Services.},
  BOOKTITLE = { Proceedings of the International Workshop on Test and Analysis of
	Component Based Systems (TACoS 2004)},
  YEAR = {2005},
  EDITOR = {Mauro Pezz\'e},
  VOLUME = {116},
  PAGES = {145-156},
  EE = {http://dx.doi.org/10.1016/j.entcs.2004.02.073},
  JOURNAL = {Electr. Notes Theor. Comput. Sci.},
  PARTNER = {ULEICES},
  URL = {http://www.cs.le.ac.uk/people/rh122/papers/2005/HL05TACoS.pdf}
}



@inproceedings{EllsonGKNW00, 
  author    = {John Ellson and
               Emden R. Gansner and
               Eleftherios Koutsofios and
               Stephen C. North and 
               Gordon Woodhull},
  title     = {Graphviz - Open Source Graph Drawing Tools},
  booktitle = {Graph Drawing},
  year      = {2001},
  pages     = {483-484},
  ee        = {http://link.springer.de/link/service/series/0558/bibs/2265/22650483.htm},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@PhdThesis{ba2008,
  author = 	 {Cheikh Ba},
  title = 	 {Composition de Services Web Avec PEWS: Approche par la Th?orie des Traces. },
  school = 	 {Universit? Fran?ois Rabelais de Tours},
  year = 	 {2008},
  OPTkey = 	 {},
  OPTtype = 	 {},
  OPTaddress = 	 {},
  OPTmonth = 	 {}, 
  OPTnote = 	 {},
  OPTannote = 	 {}
}
 
@book{sommerville03,
  author = 	 {Ian Sommerville},
  ALTeditor = 	 {Roger Trimer},
  title = 	 {Software Engineering 6th Edition},
  publisher = 	 {Addison Wesley},
  year = 	 {2003},
  OPTkey = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  OPTaddress = 	 {},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@inproceedings{LopesDBC08,
  author    = {Frederico Lopes and
               Fl{\'a}via Coimbra Delicato and
               Tha\'{\i}s Vasconcelos Batista and
               N{\'e}lio Cacho},
  title     = {On the integration of context-based heterogeneous middleware
               for ubiquitous computing},
  booktitle = {MPAC},
  year      = {2008},  
  pages     = {31-36},
  ee        = {http://doi.acm.org/10.1145/1462789.1462795},
  crossref  = {DBLP:conf/middleware/2008mpac},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
 
@inbook {pressman97c,
  author = "Roger S. Pressman",
  title = "Software Engineering: A 
           Practitioner's Approach",
  pages = "22--23",
  edition = "4",
  year = "1997",
  publisher = "McGraw-Hill"
}

@inproceedings{pullen09,
 author = {Pullen, J. Mark and Corner, Douglas and Singapogu, Samuel Suhas and McAndrews, Priscilla},
 title = {Interpreted Web Services as a Tool for Development of Command and Control Interoperability with Simulations},
 booktitle = {DS-RT '09: Proceedings of the 2009 13th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications},
 year = {2009},
 isbn = {978-0-7695-3868-6},
 pages = {131--135},
 doi = {http://dx.doi.org/10.1109/DS-RT.2009.42}, 
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 }

@inproceedings{MorseBPMTM04,
  author    = {Katherine L. Morse and
               Ryan Brunton and
               J. Mark Pullen and
               Priscilla M. McAndrews and
               Andreas Tolk and
               James Muguira},
  title     = {An Architecture for Web-Services Based Interest Management
               in Real Time Distributed Simulation},
  booktitle = {DS-RT},
  year      = {2004},
  pages     = {108-115},
  ee        = {http://csdl.computer.org/comp/proceedings/ds-rt/2004/2232/00/22320108abs.htm},
  crossref  = {DBLP:conf/dsrt/2004},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{KoutsoukosKANS06,
  author    = {Xenofon D. Koutsoukos and
               Manish Kushwaha and
               Isaac Amundson and
               Sandeep Neema and
               Janos Sztipanovits},
  title     = {OASiS: A Service-Oriented Architecture for Ambient-Aware
               Sensor Networks},
  booktitle = {Monterey Workshop},
  year      = {2006},
  pages     = {125-149},
  ee        = {http://dx.doi.org/10.1007/978-3-540-77419-8_8},
  crossref  = {DBLP:conf/monterey/2006},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@article{ChengGCM09,
  author    = {Bo Cheng and
               Jie Guo and
               Junliang Chen and
               Xiangwu Meng},
  title     = {The communication model for real-time web service in telecom
               domain},
  journal   = {Int. J. Communication Systems},
  volume    = {22},
  number    = {6},
  year      = {2009},
  pages     = {773-787},
  ee        = {http://dx.doi.org/10.1002/dac.990},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@article{Allen83, 
  author    = {James F. Allen},
  title     = {Maintaining Knowledge about Temporal Intervals},
  journal   = {Commun. ACM},
  volume    = {26},
  number    = {11},
  year      = {1983},
  pages     = {832-843},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}  

@inproceedings{Espinosa-OviedoVZC09,
  author    = {Javier-Alfonso Espinosa-Oviedo and
               Genoveva Vargas-Solar and
               Jos{\'e}-Luis Zechinelli-Martini and
               Christine Collet},
  title     = {Non-functional properties and services coordination using
               contracts},
  booktitle = {IDEAS},
  year      = {2009},
  pages     = {307-310},
  ee        = {http://doi.acm.org/10.1145/1620432.1620467},
  crossref  = {DBLP:conf/ideas/2009},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{PortillaHE08,
  author    = {Alberto Portilla and
               Tan Hanh and
               Javier-Alfonso Espinosa-Oviedo},
  title     = {Building reliable mobile services based applications},
  booktitle = {ICDE Workshops},
  year      = {2008},
  pages     = {121-128},
  ee        = {http://dx.doi.org/10.1109/ICDEW.2008.4498303},
  crossref  = {DBLP:conf/icde/2008w},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{Zechinelli-Martini00,
  author    = {Jos{\'e}-Luis Zechinelli-Martini},
  title     = {Integrating and Managing Multimedia Presentations by a Web-based
               Object Server},
  booktitle = {EDBT PhD Workshop},
  year      = {2000},
  ee        = {http://www.edbt2000.uni-konstanz.de/phd-workshop/papers/Zechinelli.ps},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@TechReport{wscl02,
  author = 	 {Arindam Banerji and
  			  	Claudio Bartolini and
				Dorothea Beringe and
				Venkatesh Chopella and
				Kannan Govindarajan and
				Alan Karp and
				Harumi Kuno and
				Mike Lemon and
				Gregory Pogossiants and  
				Shamik Sharma and
				Scott Williams},
  title = 	 {Web {S}ervices {C}onversation {L}anguage ({WSCL}) 1.0},
  institution =  {Hewlett-Packard Company},
  year = 	 {2002},
  OPTkey = 	 {},
  OPTtype = 	 {},
  OPTnumber = 	 {}, 
  OPTaddress = 	 {},
  OPTmonth = 	 {},  
  OPTnote = 	 {}, 
  OPTannote = 	 {}
}

@TechReport{oleg2008,
  author = 	 {Oleg Beletski},
  title = 	 {End {U}ser {M}ashup {P}rogramming {E}nvironments},
  institution =  {Helsinki University of Technology},
  year = 	 {2008},
  OPTkey = 	 {},
  OPTtype = 	 {},
  OPTnumber = 	 {}, 
  OPTaddress = 	 {},
  OPTmonth = 	 {},  
  OPTnote = 	 {}, 
  OPTannote = 	 {}
}

@TechReport{marril2006,
  author = 	 {Duane Merrill},
  title = 	 {Mashups: The {N}ew {B}reed of {W}eb {A}pp},
  institution =  {IBM},
  year = 	 {2006},
  url = 	 {http://www.ibm.com/developerworks/xml/library/x-mashups.html},
  OPTkey = 	 {},
  OPTtype = 	 {},
  OPTnumber = 	 {},
  OPTaddress = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@inproceedings{ZhaoHHLM08,
  author    = {Qi Zhao and
               Gang Huang and
               Jiyu Huang and
               Xuanzhe Liu and
               Hong Mei},
  title     = {A Web-Based Mashup Environment for On-the-Fly Service Composition},
  booktitle = {SOSE},
  year      = {2008},
  pages     = {32-37},
  ee        = {http://dx.doi.org/10.1109/SOSE.2008.9},
  crossref  = {DBLP:conf/sose/2008},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@inproceedings{LiuHSL07,
  author    = {Xuanzhe Liu and
               Yi Hui and
               Wei Sun and
               Haiqi Liang},
  title     = {Towards Service Composition Based on Mashup},
  booktitle = {IEEE SCW},
  year      = {2007},
  pages     = {332-339},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/SERVICES.2007.67},
  crossref  = {DBLP:conf/IEEEscc/2007w},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{MusicanteP06,
  author    = {Martin A. Musicante and
               Edinardo Potrich},
  title     = {Expressing Workflow Patterns for Web Services: The Case
               of PEWS},  
  journal   = {J. UCS},
  volume    = {12},
  number    = {7},   
  year      = {2006},  
  pages     = {903-921}, 
  ee        = {http://www.jucs.org/jucs_12_7/expressing_workflow_patterns_for},
  bibsource = {DBLP, http://dblp.uni-trier.de}
} 
 
@article{BaCAM05,
  author    = {Cheikh Ba and
               Marcos Aur{\'e}lio Carrero and
               Mirian Halfeld-Ferrari and
               Martin A. Musicante},
  title     = {{PEWS}: {A} {N}ew {L}anguage for {B}uilding {W}eb {S}ervice {I}nterfaces},
  journal   = {J. UCS},
  volume    = {11},
  number    = {7},
  year      = {2005},
  pages     = {1215-1233},
  ee        = {http://www.jucs.org/jucs_11_7/pews_a_new_language},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{AalstHKB03,
  author    = {Wil M. P. van der Aalst and
               Arthur H. M. ter Hofstede and
               Bartek Kiepuszewski and
               Alistair P. Barros},
  title     = {Workflow Patterns},
  journal   = {Distributed and Parallel Databases},
  volume    = {14},
  number    = {1},
  year      = {2003},
  pages     = {5-51},
  ee        = {http://dx.doi.org/10.1023/A:1022883727209},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

 
@Misc{JavaCC,
  key =  	"JavaCC",
  note = 	"http://www.experimentalstuff.com/Technologies/JavaCC/",
  title =	"Java Compiler Compiler",
  URL =  	"http://www.experimentalstuff.com/Technologies/JavaCC/",
} 	 

@inproceedings{BaAM06,   
  author    = {Cheikh Ba and
               Mirian Halfeld-Ferrari and
               Martin A. Musicante},
  title     = {Composing Web Services with PEWS: A Trace-Theoretical Approach},
  booktitle = {ECOWS},
  year      = {2006},
  pages     = {65-74},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/ECOWS.2006.12},
  crossref  = {DBLP:conf/ecows/2006},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
 
@inproceedings{BaF08,
  author    = {Cheikh Ba and
               M\'{\i}rian Halfeld Ferrari},
  title     = {Dependence graphs for verifications of web service compositions
               with PEWS},
  booktitle = {SAC},
  year      = {2008},
  pages     = {2387-2391},
  ee        = {http://doi.acm.org/10.1145/1363686.1364253},
  crossref  = {DBLP:conf/sac/2008},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
 
@inproceedings{MusicantePC08,
  author    = {Martin A. Musicante and
               Edinardo Potrich and
               Marcos Aur{\'e}lio Carrero},
  title     = {A programming environment for web services},
  booktitle = {SAC},
  year      = {2008},
  pages     = {2363-2367},
  ee        = {http://doi.acm.org/10.1145/1363686.1364249},
  crossref  = {DBLP:conf/sac/2008},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{And79,
  author    = {Sten Andler},
  title     = {Predicate {P}ath {E}xpressions},
  booktitle = {Sixth Annual ACM Symposium on Principles of Programming Languages (6th POPL'79)},
  year      = {1979},
  pages     = {226-236},
  ee        = {db/conf/popl/Andler79.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}    

@TechReport{oasis06,
  author = 	 {C. Matthew MacKenzie and Ken Laskey and Francis McCabe and Peter F. Brown Rebekah Metz},
  title = 	 {Reference {M}odel for {S}ervice {O}riented {A}rchitecture 1.0},
  institution =  {OASIS Committee Specification},
  year = 	 {2006},
  OPTkey = 	 {},  
  OPTtype = 	 {}, 
  OPTnumber = 	 {},
  OPTaddress = 	 {},
  month = 	 {August},
  OPTnote = 	 {},
  OPTannote = 	 {}
} 

@article{Peltz03,
  author    = {Chris Peltz},
  title     = {Web {S}ervices {O}rchestration and {C}horeography},
  journal   = {IEEE Computer},
  volume    = {36},
  number    = {10},
  year      = {2003},
  pages     = {46-52},
  ee        = {http://csdl.computer.org/comp/mags/co/2003/10/rx046abs.htm},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{Papazoglou03,
  author    = {Mike P. Papazoglou},
  title     = {Service-{O}riented {C}omputing: {C}oncepts, {C}haracteristics and
               {D}irections},
  booktitle = {WISE},
  year      = {2003},
  pages     = {3-12},
  ee        = {http://csdl.computer.org/comp/proceedings/wise/2003/1999/00/19990003abs.htm},
  crossref  = {DBLP:conf/wise/2003},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@book{Thomas05,
 author = {Erl, Thomas},
 title = {Service-{O}riented {A}rchitecture: {C}oncepts, {T}echnology, and {D}esign},
 year = {2005},
 isbn = {0131858580},
 publisher = {Prentice Hall PTR},
 address = {Upper Saddle River, NJ, USA},
 }
    
 @article{LeymannRS02,
  author    = {Frank Leymann and
               Dieter Roller and
               Marc-Thomas Schmidt},
  title     = {Web {S}ervices and {B}usiness {P}rocess {M}anagement},
  journal   = {IBM Systems Journal},
  volume    = {41},
  number    = {2},
  year      = {2002},
  pages     = {198-211},
  ee        = {http://researchweb.watson.ibm.com/journal/sj/412/leymann.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{swswpc2004,
  editor    = {Jorge Cardoso and
               Amit P. Sheth},
  title     = {Semantic {W}eb {S}ervices and {W}eb {P}rocess {C}omposition, {F}irst
               {I}nternational {W}orkshop, {SWSWPC} 2004, {S}an {D}iego, {CA}, {USA},
               {J}uly 6, 2004, {R}evised {S}elected {P}apers},
  booktitle = {SWSWPC},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {3387},
  year      = {2004},
  isbn      = {3-540-24328-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
 
@article{Liu04,
author = {Sisi Liu and Rania Khalaf and Francisco Curbera},
title = {From {DAML-S} {P}rocesses to {BPEL4WS}},
journal ={Research Issues in Data Engineering, International Workshop on},
volume = {0},
issn = {2003116976},
year = {2004},
pages = {77-84},
doi = {http://doi.ieeecomputersociety.org/10.1109/RIDE.2004.1281706},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA}
}
  
@TechReport{bpel03,
  author = 	 {Francisco Curbera and Yaron Goland and Johannes Klein and Frank Leymann and Dieter Roller Satish Thatte and Sanjiva Weerawarana},
  title = 	 {Business Process Execution Language for Web Services (BPEL4WS) 1.1},
  institution =  {IBM - Online: http://www-106.ibm.com/developerworks/webservices/library/ws-bpel},
  year = 	 {2003},
  OPTkey = 	 {},
  OPTtype = 	 {},
  OPTnumber = 	 {},
  OPTaddress = 	 {},
  OPTmonth = 	 {}, 
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@TechReport{bpel05,
  author = 	 {Assaf Arkin and Sid Askary and Ben Bloch and Francisco Curbera and Yaron Goland and Neelakantan Kartha and Neelakantan Kartha and Vinkesh Mehtaand and Satish Thatte and Prasad Yendluri and Alex Yiu and Alexandre Alves}, 
  title = 	 {Web {S}ervices {B}usiness {P}rocess {E}xecution {L}anguage 2.0},
  institution =  {OASIS - http://www.oasis-open.org/apps/org/workgroup/wsbpel/},
  year = 	 {2005},
  OPTkey = 	 {},
  OPTtype = 	 {},
  OPTnumber = 	 {},
  OPTaddress = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@article{Milanovic04,
author = {Nikola Milanovic and Miroslaw Malek},
title = {Current Solutions for Web Service Composition},
journal ={IEEE Internet Computing},
volume = {8},
issn = {1089-7801},
year = {2004},
pages = {51-59},
doi = {http://doi.ieeecomputersociety.org/10.1109/MIC.2004.58},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
  
@TechReport{owl04,
  author = 	 {Sean Bechhofer and Frank van Harmelen and Jim Hendler and Ian Horrocks and Deborah L. McGuinness and Peter F. Patel-Schneider and Lynn Andrea Stein},
  title = 	 {OWL Web Ontology Language},
  institution =  {W3C - http://www.w3.org/TR/owl-ref/},
  year = 	 {2004},
  OPTkey = 	 {},
  OPTtype = 	 {}, 
  OPTnumber = 	 {},
  OPTaddress = 	 {}, 
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@inproceedings{Yang02,
  author    = {Jian Yang and
               Mike P. Papazoglou},
  title     = {Web Component: A Substrate for Web Service Reuse and Composition},
  booktitle = {CAiSE},
  year      = {2002},
  pages     = {21-36},
  ee        = {http://link.springer.de/link/service/series/0558/bibs/2348/23480021.htm},
  crossref  = {DBLP:conf/caise/2002},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{Milner92,
  author    = {Robin Milner},
  title     = {The Polyadic Pi-calculus (Abstract)},
  booktitle = {CONCUR},
  year      = {1992},
  pages     = {1},
  ee        = {http://dx.doi.org/10.1007/BFb0084778},
  crossref  = {DBLP:conf/concur/1992},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@book{Reisig85a, 
  author    = {Wolfgang Reisig},
  title     = {Petri Nets: An Introduction},
  publisher = {Springer},
  series    = {Monographs in Theoretical Computer Science. An EATCS Series},
  volume    = {4},
  year      = {1985},
  isbn      = {3-540-13723-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{HamadiB03, 
  author    = {Rachid Hamadi and
               Boualem Benatallah},
  title     = {A Petri Net-based Model for Web Service Composition},
  booktitle = {ADC},
  year      = {2003},
  pages     = {191-200},
  ee        = {http://crpit.com/confpapers/CRPITV17Hamadi.pdf},
  crossref  = {DBLP:conf/adc/2003},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
 
@inproceedings{BultanFHS03,
  author    = {Tevfik Bultan and
               Xiang Fu and
               Richard Hull and
               Jianwen Su},
  title     = {Conversation specification: a new approach to design and
               analysis of e-service composition},
  booktitle = {WWW},
  year      = {2003},
  pages     = {403-410},
  ee        = {http://doi.acm.org/10.1145/775152.775210},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{BuschermohleBBDHJSW04,
  author    = {Ralf Buscherm{\"o}hle and
               Mark Br{\"o}rkens and
               Ingo Br{\"u}ckner and
               Werner Damm and
               Wilhelm Hasselbring and
               Bernhard Josko and
               Christoph Schulte and
               Thomas Wolf},
  title     = {Model Checking (Grundlagen und Praxiserfahrungen)},
  journal   = {Informatik Spektrum},
  volume    = {27},
  number    = {2},
  year      = {2004},
  pages     = {146-158},
  ee        = {http://dx.doi.org/10.1007/s00287-004-0381-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{KnublauchFNM04, 
  author    = {Holger Knublauch and
               Ray W. Fergerson and 
               Natalya Fridman Noy and
               Mark A. Musen},
  title     = {The Prot{\'e}g{\'e} OWL Plugin: An Open Development
               Environment for Semantic Web Applications},
  booktitle = {International Semantic Web Conference},
  year      = {2004},
  pages     = {229-243},
  ee        = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=3298{\&}spage=229},
  crossref  = {DBLP:conf/semweb/2004},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{baresi03,
  author    = {Luciano Baresi and
               Devis Bianchini and
               Valeria De Antonellis and
               Maria Grazia Fugini and
               Barbara Pernici and
               Pierluigi Plebani},
  title     = {Context-Aware Composition of E-services},
  booktitle = {TES},
  year      = {2003},
  pages     = {28-41},
  ee        = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=2819{\&}spage=28},
  crossref  = {DBLP:conf/tes/2003},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{baresi03,
  author    = {Luciano Baresi and
               Devis Bianchini and
               Valeria De Antonellis and
               Maria Grazia Fugini and
               Barbara Pernici and
               Pierluigi Plebani},
  title     = {Context-Aware Composition of E-services},
  booktitle = {TES},
  year      = {2003},
  pages     = {28-41},
  ee        = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=2819{\&}spage=28},
  crossref  = {DBLP:conf/tes/2003},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{ShengBDM02,
  author    = {Quan Z. Sheng and
               Boualem Benatallah and
               Marlon Dumas and
               Eileen Oi-Yan Mak},
  title     = {SELF-SERV: A Platform for Rapid Composition of Web Services
               in a Peer-to-Peer Environment},
  booktitle = {VLDB},
  year      = {2002},
  pages     = {1051-1054},
  ee        = {http://www.vldb.org/conf/2002/S33P03.pdf},
  crossref  = {DBLP:conf/vldb/2002},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{AgarwalHS04,
  author    = {Sudhir Agarwal and
               Siegfried Handschuh and
               Steffen Staab},
  title     = {Annotation, composition and invocation of semantic web services},
  journal   = {J. Web Sem.},
  volume    = {2},
  number    = {1},
  year      = {2004},
  pages     = {31-48},
  ee        = {http://dx.doi.org/10.1016/j.websem.2004.07.003},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{WuPSHN03,
  author    = {Dan Wu and
               Bijan Parsia and
               Evren Sirin and
               James A. Hendler and
               Dana S. Nau},
  title     = {Automating DAML-S Web Services Composition Using SHOP2},
  booktitle = {International Semantic Web Conference},
  year      = {2003},
  pages     = {195-210},
  ee        = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=2870{\&}spage=195},
  crossref  = {DBLP:conf/semweb/2003},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{NauAIKMWY03,
  author    = {Dana S. Nau and
               Tsz-Chiu Au and
               Okhtay Ilghami and
               Ugur Kuter and
               J. William Murdock and
               Dan Wu and
               Fusun Yaman},
  title     = {SHOP2: An HTN Planning System},
  journal   = {J. Artif. Intell. Res. (JAIR)},
  volume    = {20},
  year      = {2003},
  pages     = {379-404},
  ee        = {http://www.cs.washington.edu/research/jair/abstracts/nau03a.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@ARTICLE{burdy:05,
  author = {L. Burdy and Y. Cheon and D. R. Cok and M. D. Ernst
	and J. R. Kiniry and G. T. Leavens and K. R. M. Leino
	and E. Poll},
  title = {An overview of {JML} tools and applications},
  journal = {Int. J. Softw. Tools Technol. Transf.},
  year = {2005},
  volume = {7},
  pages = {212--232},
  number = {3},
  abstract = {The Java Modeling Language (JML) can be used to specify the detailed
	design of Java classes and interfaces by adding annotations to Java
	source files. The aim of JML is to provide a specification language
	that is easy to use for Java programmers and that is supported by
	a wide range of tools for specification typechecking, runtime debugging,
	static analysis, and verification.This paper gives an overview of
	the main ideas behind JML, details about JML's wide range of tools,
	and a glimpse into existing applications of JML.},
  address = {Berlin, Heidelberg},
  doi = {10.1007/s10009-004-0167-4},
  doi-url = {http://dx.doi.org/10.1007/s10009-004-0167-4},
  publisher = {Springer-Verlag}
}

@inproceedings{Meyer98a,
  author    = {Bertrand Meyer},
  title     = {Design by Contract: The Eiffel Method},
  booktitle = {TOOLS (26)},
  year      = {1998},
  pages     = {446},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/TOOLS.1998.711043},
  crossref  = {DBLP:conf/tools/26-1998},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{Dustdar05,
 author = {Dustdar, Schahram and Schreiner, Wolfgang},
 title = {A survey on web services composition},
 journal = {Int. J. Web Grid Serv.},
 volume = {1},
 number = {1},
 year = {2005},
 issn = {1741-1106},
 pages = {1--30},
 doi = {http://dx.doi.org/10.1504/IJWGS.2005.007545},
 publisher = {Inderscience Publishers},
 address = {Inderscience Publishers, Geneva, SWITZERLAND},
 }
 
 @inproceedings{BianculliGSBG07,
   author    = {Domenico Bianculli and
                Carlo Ghezzi and
                Paola Spoletini and
                Luciano Baresi and
                Sam Guinea},
   title     = {A Guided Tour through SAVVY-WS: A Methodology for Specifying
                and Validating Web Service Compositions},
   booktitle = {Lipari Summer School},
   year      = {2007},
   pages     = {131-160},
   ee        = {http://dx.doi.org/10.1007/978-3-540-89762-0_5},
   crossref  = {DBLP:conf/lipari/2007},
   bibsource = {DBLP, http://dblp.uni-trier.de}
 }
 
 @proceedings{DBLP:conf/lipari/2007,
   editor    = {Egon B{\"o}rger and
                Antonio Cisternino},
   title     = {Advances in Software Engineering, Lipari Summer School 2007,
                Lipari Island, Italy, July 8-21, 2007, Revised Tutorial
                Lectures},
   booktitle = {Lipari Summer School},
   publisher = {Springer},
   series    = {Lecture Notes in Computer Science},
   volume    = {5316},
   year      = {2008},
   isbn      = {978-3-540-89761-3},
   bibsource = {DBLP, http://dblp.uni-trier.de}
 }
 
 @article{daCosta2010,
title = "JCML: A specification language for the runtime verification of Java Card programs",
journal = "Science of Computer Programming",
volume = "In Press, Corrected Proof",
number = "",
pages = " - ",
year = "2010",
note = "",
issn = "0167-6423",
doi = "DOI: 10.1016/j.scico.2010.03.003",
url = "http://www.sciencedirect.com/science/article/B6V17-4YT0541-1/2/8b79d57d05c675fe0b3e8e450511c9f9",
author = "Umberto Souza da Costa and Anamaria Martins Moreira and Martin A. Musicante and Pl·cido A. Souza Neto",
keywords = "JML",
keywords = "Java Card",
keywords = "JCML",
keywords = "Runtime verification"
} 

@inproceedings{BianculliGSBG07,
  author    = {Domenico Bianculli and
               Carlo Ghezzi and
               Paola Spoletini and
               Luciano Baresi and
               Sam Guinea},
  title     = {A Guided Tour through SAVVY-WS: A Methodology for Specifying
               and Validating Web Service Compositions},
  booktitle = {Lipari Summer School},
  year      = {2007},
  pages     = {131-160},
  ee        = {http://dx.doi.org/10.1007/978-3-540-89762-0_5},
  crossref  = {DBLP:conf/lipari/2007},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{lipari2007,
  editor    = {Egon B{\"o}rger and
               Antonio Cisternino},
  title     = {Advances in Software Engineering, Lipari Summer School 2007,
               Lipari Island, Italy, July 8-21, 2007, Revised Tutorial
               Lectures},
  booktitle = {Lipari Summer School},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {5316},
  year      = {2008},
  isbn      = {978-3-540-89761-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{jcml09,
 author = {da Costa, Umberto Souza and Moreira, Anamaria Martins and Musicante, Martin A. and Neto, Pl\'{a}cido A.  Souza},
 title = {Specification and Runtime Verification of Java Card Programs},
 journal = {Electron. Notes Theor. Comput. Sci.},
 volume = {240},
 year = {2009},
 issn = {1571-0661},
 pages = {61--78},
 doi = {http://dx.doi.org/10.1016/j.entcs.2009.05.045},
 publisher = {Elsevier Science Publishers B. V.},
 address = {Amsterdam, The Netherlands, The Netherlands},
 }
 
 @article{LacknerKP02,
  author    = {Martin Lackner and
               Andreas Krall and
               Franz Puntigam},
  title     = {Supporting Design by Contract in Java},
  journal   = {Journal of Object Technology},
  volume    = {1},
  number    = {3},
  year      = {2002},
  pages     = {57-76},
  ee        = {http://www.jot.fm/issues/issue_2002_08/article4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@MISC{w3c,
  author = {W3C},
  title = {World Wide Web Consortium},
  howpublished = {Online http://www.w3.org/},
  month = {April},
  year = {2005}
}

@TECHREPORT{ws-ra,
  author = {Ruslan Bilorusets and Don Box and Luis Felipe Cabrera and Doug Davis
	and Donald Ferguson and Christopher Ferris and Tom Freund and Mary
	Ann Hondo and John Ibbotson and Lei Jin and Chris Kaler and David
	Langworthy and Amelia Lewis and Rodney Limprecht and Steve Lucco
	and Don Mullen and Anthony Nadalin and Mark Nottingham and David
	Orchard and Jamie Roots and Shivajee Samdarshi and John Shewchuk
	and Tony Storey},
  title = {Web Services Reliable Messaging Protocol (WS-ReliableMessaging)},
  institution = {BEA Systems, International Business Machines Corporation, Microsoft
	Corporation Inc., TIBCO Software Inc.},
  year = {2005},
  type = {Technical Specification},
  month = {February},
  owner = {Alberto}
}

@ARTICLE{schuldt-etal-TODS,
  author = {H.~Schuldt and G.~Alonso and C.~Beeri and H.-J.~Schek},
  title = {Atomicity and {I}solation for {T}ransactional {P}rocesses},
  journal = {ACM Transactions on Database Systems (TODS)},
  year = {2002},
  volume = {27},
  pages = {63-116},
  number = {1},
  month = mar
}

@INPROCEEDINGS{alonso99wise,
  author = {Gustavo Alonso and Ulrich Fiedler and Claus Hagen and Amaia Lazcano
	and Heiko Schuldt and N. Weiler},
  title = {WISE: Business to Business E-Commerce.},
  booktitle = {Research Issues on Data Engineering: Information Technology for Virtual
	Enterprises},
  year = {1999},
  pages = {132-139},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  ee = {http://computer.org/conferen/proceed/ride/0119/01190132abs.htm}
}

@ARTICLE{lazcano00wise,
  author = {Amaia Lazcano and Gustavo Alonso and Heiko Schuldt and Christoph
	Schuler},
  title = {The {WISE} approach to electronic commerce},
  journal = {International Journal of Computer Systems Science and Engineering},
  year = {2000},
  volume = {15},
  number = {5},
  pdf = {D:\Mes Documents\doctorado\coordination\lass00.pdf}
}
   
@INPROCEEDINGS{NepalFGJKS05,
  author = {Surya Nepal and Alan Fekete and Paul Greenfield and Julian Jang and
	Dean Kuo and Tony Shi},
  title = {A Service-Oriented Workflow Language for Robust Interacting Applications},
  booktitle = {OTM Conferences (1)},
  year = {2005},
  pages = {40-58},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  crossref = {DBLP:conf/otm/2005-3},
  ee = {http://dx.doi.org/10.1007/11575771_6},
  pdf = {D:\Mes Documents\doctorado\Papers\CoopIS2005julian.pdf}
}

@INPROCEEDINGS{samy,
  author = {Sami Bhiri and Claude Godart and Olivier Perrin},
  title = {Reliable Web services composition using a transactional approach},
  booktitle = {O. e-Technology, e-Commerce and e-Service},
  year = {2005},
  editor = {IEEE International},
  volume = {1},
  series = {eee},
  pages = {15-21},
  month = {March}
}

@MISC{Bonita,
  author = {OW2-Consortium},
  title = {Bonita},
  month = {April},
  year = {2007},
  note = {http://forge.objectweb.org/projects/bonita}
}
 

@inproceedings{BeVaC00,
 author    = {Khalid Belhajjame and
              Christine Collet and
              Genoveva Vargas-Solar},
 title     = {A Flexible Workflow Model for Process-Oriented Applications},
 booktitle = {WISE (1)},
 year      = {2001},
 pages     = {72-}
}

@article{daCosta2010,
title = "JCML: A specification language for the runtime verification of Java Card programs",
journal = "Science of Computer Programming",
volume = "In Press, Corrected Proof",
number = "",
pages = " - ",
year = "2010",
note = "",
issn = "0167-6423",
doi = "DOI: 10.1016/j.scico.2010.03.003",
url = "http://www.sciencedirect.com/science/article/B6V17-4YT0541-1/2/8b79d57d05c675fe0b3e8e450511c9f9",
author = "Umberto Souza da Costa and Anamaria Martins Moreira and Martin A. Musicante and Plácido A. Souza Neto",
keywords = "JML",
keywords = "Java Card",
keywords = "JCML",
keywords = "Runtime verification"
}


